RemoveThis!

Ctrl is used often, and the highlighting is a bit annoying

an option to choose the hot key, or just to change the hot key to Alt or Ctrl+Alt.
great extension btw, good job!)