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

This is an early way of gathering engagement on shortcut functionality in the header, so adding a preference (which is more complicated than it's often made out to be) would be premature at this point in time.