Is it considered good practice to add keyboard markup to posts and, if so, is it acceptable to edit posts when part of the reason or the sole reason for editing is to add such markup?
An example of the kind of markup I have in mind is
Which produces output such as ctrl+alt+i. Personally, I find this extremely distracting and ugly in most cases and would only use it sparingly, if at all, in my own posts. I would therefore be annoyed if others edited my posts to add this kind of monstrosity.
Is there a policy on the use of this markup and on editing posts in order to add it?
I can entirely live with people using this markup if they wish. I might even use it myself in some circumstances. But my own feeling is that it is not appropriate to edit such markup into people's posts.