I'd love it if there were a hotkey for each highlight color. I use Paper to write video scripts, and I color-code which text is to be said on camera, as a voiceover, shot as B-roll, etc., so it would be way more convenient if I didn't need to click into the formatting options every time I switch colors. Thanks so much!