renaming is just too bug-prone right now, and I don't think many
people were doing it anyway.