User blog comment:Brandon Rhea/New Shortcuts Menu in the Page Header/@comment-24530269-20180111174433

This looks very nice.