Docs fixes

It seems that quite a few bits are legacy from Markdown...