The source project of this merge request has been removed.
Prevent hidden tools menu from appearing in global menu
Fixes bug 443505.
This feels like not a great solution, but the hidden tools menu itself is already a hack, so I leave it to your discretion whether or not this is okay. Maybe the real issue is the global menu not respecting hidden items? I don't know, but this does work. As far as I can tell, nothing breaks with this change.