@bramus@front-end.social I personally use Shift + Control + letter for the extensions that I use (Firefox lets you adjust keyboard shortcuts for extensions), but maybe Shift + Option is better.