Not that it makes any odds to me which it is, but it might save time for others who go around changing one to the other.
Which should it be? Dave F. _______________________________________________ Tagging mailing list Tagging@openstreetmap.org http://lists.openstreetmap.org/listinfo/tagging