Настолько мелочный и несущественный вопрос, к тому же прекрасно решаемый <url>, не заслуживает многолетнего выяснения отношений и оспаривания итогов. <url> это тоже касается, кстати. Ну не так назвали, какая в конце концов разница, если и то, и другое название болееменее верные?