If its not actually a school anymore then why go out of your way to preserve it? The map shouldn't be made worse just so local mappers can find obvious errors easier. Having no data is much better than bunk data, someone can also see there's nothing there on the map and go look for it. Local mappers can look and see that this changeset goes over their community and use QA tools like https://resultmaps.neis-one.org/osm-change-viz?c=149843868#7/31.445/-95.397 to see if it actually impacted them.