I am trying to hide the Repair PDF and Edit PDF Bookmarks tools in the Toolbox, but there are no options to do that in the settings. I have tried editing them in the registry (toolbox.hideElements), but...