I’m getting tons of this stuff from the user manual type setting. Might someone fix it? Simon /5playpen/simonpj/HEAD-4/docs/users_guide/8.0.2-notes.rst:162: WARNING: Inline interpreted text or phrase reference start-string without end-string. /5playpen/simonpj/HEAD-4/docs/users_guide/8.2.1-notes.rst:242: WARNING: Bullet list ends without a blank line; unexpected unindent. /5playpen/simonpj/HEAD-4/docs/users_guide/editing-guide.rst:350: ERROR: Error in "ghci-cmd" directive: invalid option block. .. ghci-cmd:: :module [*] <file> Load a module /5playpen/simonpj/HEAD-4/docs/users_guide/eventlog-formats.rst:35: ERROR: Unexpected indentation. /5playpen/simonpj/HEAD-4/docs/users_guide/eventlog-formats.rst:41: WARNING: Block quote ends without a blank line; unexpected unindent. /5playpen/simonpj/HEAD-4/docs/users_guide/eventlog-formats.rst:58: ERROR: Unexpected indentation. /5playpen/simonpj/HEAD-4/docs/users_guide/eventlog-formats.rst:104: ERROR: Unexpected indentation. /5playpen/simonpj/HEAD-4/docs/users_guide/ghci.rst:509: ERROR: Error in "warning" directive: invalid option block. .. warning:: Temporary bindings introduced at the prompt only last until the next :ghci-cmd:`:load` or :ghci-cmd:`:reload` command, at which time they will be simply lost. However, they do survive a change of context with :ghci-cmd:`:module`: the temporary bindings just move to the new location. /5playpen/simonpj/HEAD-4/docs/users_guide/ghci.rst:515: ERROR: Error in "hint" directive: invalid option block.