User blog comment:Brandon Rhea/New Shortcuts Menu in the Page Header/@comment-26923519-20180112035529/@comment-28083312-20180112202605

I agree with you Leafy. It may not be ideal to institute such a change at present, but it should be kept in mind for when the time comes.