OK... I KNOW I saw an add-on that would allow rich text usernames everywhere. But either I've not had enough coffee or I'm using the wrong search terms. Anybody know the link to the add-on (I remember seeing it in a discussion but failed to bookmark it).
