Comment explaining the double monospace.