i think it may be a nice tweak to have the “highlighter” in the “menu” in a more noticeable design/color. maybe, if this interest is shared by more users, this could be provided in a next release? does someone has an idea, how to hack that by oneself?
If we find an answer, we could try to contribute it by the github (-:
