openstreetmap/iD — pull request #2143 by bhousel (2014-03-02 18:42:40+00:00)
Title: Don't add building=yes for amenity=school (and a few others)

fixes #2138
This removes the building_area field (which sets building=yes):

* amenity/school (renamed "School Grounds" for clarity)
* amenity/kindergarten (renamed "Kindergarten Grounds" for clarity)
* tourism/picnic_site
* tourism/theme_park