Also convert the snippets of documentation that go into the manual.