James Carlson wrote: > Yes, vanity naming solves the problem pretty neatly. No, vanity > naming doesn't exist yet and this case isn't dependent on it. The > best we can do is to warn users that such a name change is *in the > general case* infeasible. > Gee, I must have slept through something. What is "vanity naming" and where can I get some? (Pointers that is...)
Remember the days when all you needed was a major and minor number, and then we could call it anything you wanted? 8^) - jek3
