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