Board Thread:Support Requests - Designing Your Wiki/@comment-44878261-20200127153909/@comment-1038387-20200127160145

And two general maintenance notes:
 * And the verbatim tag has been turned off since a couple of years.
 * Most Mediawiki messages can't be edited by regular users now, except those whitelisted. Though IIRC creation of custom ones should still work. Others can be edited by staff upon request.

Both of these actions were taken at the same time after a massive security issue.