In wake of someone just deprecating a bunch of single-letter tags, this thread has come up again. I don't see the reason for rejection when this BUR received positive reactions and was logically sound. Though it should include dealiases and deprecations now, probably.
