[BGZq7]

I think it depends on the reason for the change. If the reason is primarily to reduce complexity or remove a buggy feature, it would make sense to remove the feature entirely from the code.

In this case, the shortcut is being removed because it's often unintentionally triggered by people who are not familiar with it, however there are also a lot of people who intentionally use it frequently. It could be reasonably argued that something like that should be configurable.