What do you use as a shortcut menu utility on macOS? (#apple #macOS): numericcitizen.micro.blog/2020/12/21/wha…