"Cmd+Shift+A already opens the "Add-ons Manager""I don't know how often I open the Add-ons Manager, maybe a couple times a year? Probably don't need a dedicated shortcut for it, or it could get a different one and that shortcut could be reassigned to...