Are we seriously not doing use/mention distinctions anymore? EDIT: upon reflection: if we weren't, it would be proof positive they don't make readers like they

Are we seriously not doing use/mention distinctions anymore? EDIT: upon reflection: if we weren't, it would be proof positive they don't make readers like they used to.