> they should never be used for showing code in an public or explanatory context, like on the web

Or a book like "The TeX Book"[1]?

[1] I believe it's done as pre-render replacement rather than in the font itself but the principle is the same.