Convert docs to the mdsx format consumed by syself.com (#2233)