Board Thread:Administrative/@comment-3406131-20150911144716/@comment-122657-20150921172507

I believe you can add it to your own personal javascript page to alter the buttons you use, unless there are lots of people who want it.