What would be a life changer is if among the lines of advanced settings, you could add more advanced shortcuts, for example multiple highlighter colors, so instead of CmdCreateAnnotHighlight, you could use CmdCreateAnnotHighlight(yellow), CmdCreateAnnotHighlight(blue), etc.