- I've previously used the apparently undocumented comment tag but not inside body and section. The BIND comment does actually appear in the text coloured red and that was not my intention as it seems very much out of date.
Created attachment 19138 [details, diff] Fix for bug.
I've updated the sourcecode with your patch. However, I have left the "ReiserFS is not one of them!" as is; I don't believe it is better to say "and reiserfs is not one of them". I have also transformed the <comment> to <!-- ... -->. If that isn't the intention, then sorry, but red text isn't good unless you want to emphasise it.