Exactly. We have a Sticky explaining how the code tags work both by using the buttons on the editor and “hand coding” them.
The Sticky is pointed to in the FAQ.
Several of us have “How to use code tags” pointing to the Sticky in our Signatures
Moderators and some members frequently ask “newbies” to put their code inside tags.
Yet one of the most frequent whines from Moderators is how often we have to edit posts to the correct format.
Some members don’t get it right away and way too many never do.