The issue has been closed

We can’t change the default shortcut, but you can use the feature you suggested to send it as a comment afterwards.
Alternatively I suggest writing a small userscript to change this behavior.
posted by fregante over 5 years ago
We can’t change the default shortcut
Yeah you can but ok
posted by LoganDark over 5 years ago
Yeah we can but we won’t because it breaks user expectations.
posted by fregante over 5 years ago
Well not by default, don't extensions like these have a settings menu of some sort?
posted by LoganDark over 5 years ago