[OSM-talk] amenity=doctor or amenity=doctors ? [tagging]

[Andrew Chadwick (email lists)]

amenity=doctors was proposed, but died due to lack of love.
Nevertheless, JOSM has chosen to implement it, as has t at h (I think).

  * http://wiki.openstreetmap.org/wiki/Proposed_features/GP_Surgery
  * amenity=doctors
  * tag usage: 1528 nodes or ways as of 2009-02-20

amenity=doctor has since been proposed, and is dying due to lack of
love. It was apparently RFCed on 2008-09-06, but I haven't been able to
find any evidence in the archives.

  * http://wiki.openstreetmap.org/wiki/Proposed_features/Doctor
  * amenity=doctor
  * tag usage: 265 nodes or ways as of 2009-02-20

I think this is a notable, relevant, and verifiable thing to have on
Tag_features. Shall I merge the two, spit out a proper proposal and
description and get it all voted on properly, or just get on with it and
add it and update the osmdb accordingly with a bot?

-- 
Andrew Chadwick