Reformat some docs

Still a lot to do...