Comment explaining the double monospace

This will help people understand the code and stop mistaking this for a typo like in #295, #326, #328, #335, #346, #347, …