--- a/make/common/ProcessMarkdown.gmk	Tue Sep 18 14:23:50 2018 +0200
+++ b/make/common/ProcessMarkdown.gmk	Tue Sep 18 14:27:31 2018 +0200
@@ -109,6 +109,10 @@
     # (see https://github.com/jgm/pandoc/issues/3568).
     # As a workaround, use post-processing with sed.
     $1_POST_PROCESS := $(SED) -e 's/\\f\[C\]/\\f\[CB\]/g'
+
+    # FIXME: We also need a pandoc filter that removes link targets for internal
+    # links (#options)...
+    # FIXME: Perhaps it should also make h1 headings ALL CAPS.
   endif
 
   # If no file extension is specified, default to '.html'.