Many years ago, before the developers changed the API for add-ons, there was an Add-On that could edit or disable the Firefox Hotkey assignments. I used it to disable CTRL-SHIFT-A. When the API changed, that Add-On (I can't remember its name) along...