I added the old name to the obsolete list, but given that it was in-tree for only a bit over a week, I'll remove the entries in a few weeks. this seems like a poor reason to remove them later. i often have -current installs that don't get upgraded for months at a time. i'm sure plenty of others do too.. .mrg.