Change highlight dot to more descriptive/extensible highlight badge

Everyone can contribute. Help move this issue forward while earning points, leveling up and collecting rewards.

• Close this issue

Problem

Currently we have this dot, which doesn't mean very much by itself.

Proposal

In the ~"multi-file editor" we already implemented the beta mini highlight tag, looking like such:

We can imlpement that same thing here and be much more descriptive, helpful and consistent:

cc: @victorwu @jramsay