I have re-added the post office https://www.openstreetmap.org/changeset/180685007  It still exists and is operational. Here's a photo of it open: https://www.instagram.com/p/DWjpvbEDUwK/  So the prior deletion must've been a mistake.
