Board Thread:Support Requests - Getting Technical/@comment-45592444-20201014232957/@comment-9605025-20201015025157

Actually, appending more options to the edit dropdown is one of the few article header customizations that wikis are allowed to do.