@jefftk This feels like the kind of thing that was chosen arbitrarily, so I suspect no one has any particular ego tangled up in keeping it. Maybe I'm too optimistic, but this seems like something you could get changed with a word to the right person. Happy to send an email or make a phone call if you know who that person might be...