Commit 7ec9598f47e5e8f6e05c38508d1e59e2bb9395ee

Werner Lemberg 2018-08-06T17:35:14

More comment formattings. This helps in the forthcoming transition to markdown syntax.