@anonymous,
We feel the choice was correct.
landuse=commercial is accepted in a broad sense, including areas containing government buildings.  It should not be mistaken for "retail".
This is only for those large landuse areas, that are primarily used as a coloured background on osm-carto; government buildings are mapped individually and tagged accordingly.