Remove unnecessary customizable shortcuts from scintilla...