Yeah … it’s called
profile_menu because it’s for your profile and not for the whole board
You can add this function (with a new name like
profile_menu_global) into a plugin so you don’t have to change the core files!
Where are you from, Germany? I’m from Germany if you need more help