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

not sure why these were removed from the header to begin with, but its nice to have them back