Hello, it would be a nice to have an option to change one's default highlight color. The need is immediate when I'm using the keyboard shortcut to highlight text, and are wanting it to be a different color than the default Yellow. I hope this makes sense. Thanks!