I didn't know if this should go into this subforum or not. Please feel free to move it if necessary.
A few days ago, I opened an issue on the GitHub Arduino Repository under the subheading IDE. I asked that the Copy for Forum in the IDE be changed to generate CODE tags enclosing the copied text, rather than the QUOTE tags that are supplied now. After a little discussion, the dev team agreed to change it. The discussion is at IDE: Copy for Forum · Issue #1675 · arduino/Arduino · GitHub for anyone who might be interested.