I feel I have completed this, with a changeset that added all the publicly-listed buildings belonging to the Oklahoma City County Health Department, with this as the primary sample:
https://www.openstreetmap.org/way/1106083654