(I wanted to use 🏷️ as the emoji, but it's already in use by Tagger; can two applications have the same emoji, or must they be unique?)