Aliasing shrunk_pupils → contracted_pupils.
Reason: shrunk pupils is the pre-existing tag, but I like "contracted" more.
PS. jxh2154: how exactly does the alias creation system work, and do I break it by not actually going through the alias creation form? It's much faster for me to do it by hand than to click 5 times to reach it, thus my preference for going directly to the forum.
Updated by jxh2154