User blog comment:Agent Spy/Customization Gadget/@comment-26929881-20141001144824/@comment-5225143-20141001151522

No, it's like how administrators have their usernames colored.