Re: [PATCH] Disable a whole bunch more keyboard shortcuts (#863823).