I really can't imaging nobody has asked this but since I wasn't able to find anything I bring it up.
Would I be appropriate to rename Questions to improve search results?
This questions title is not helpful at all. Renaming it to something like this:
Colorize Theorem Label
Could provide much more informations while searching for something like this.