Hi, Looking at it, it seems that a <code> tag would be more appropriate, and indeed it is not removed by the reader mode. I don't know who should be informed of this though, as I am not well versed in the HTML output of the manual building process :p
Best, -- Josselin Poiret
signature.asc
Description: PGP signature
