[Tagging] "building=college" tag missing from building key page

[Marco Boeringa]

Hi,

I noticed the tag

"building=college"

is missing from the main building key page 
(http://wiki.openstreetmap.org/wiki/Key:building).

This tag is the equivalent of building=school/university as the 
accompanying key for tagging the actual buildings of an 
"amenity=college". It seems logical to add this to the building key page 
for consistency with school/university amenities and buildings.

There is already an English Wiki page that can be linked from the 
building page if this tag is added to the Civic/Amenity section just 
like the school/university examples:

https://wiki.openstreetmap.org/wiki/Tag%3Abuilding%3Dcollege

which also gives the TagInfo stat of almost 15.000 uses, so probably 
reason enough to add this to the main building key page as well.

Marco