I undeleted the two buildings here:
https://www.openstreetmap.org/way/250795793
https://www.openstreetmap.org/way/940445540

In doubt, I also undeleted the two small buildings here:
https://www.openstreetmap.org/way/250794690
https://www.openstreetmap.org/way/860654063
Those two are not easy to spot on 2023 imagery but it looks like they are still there too.  If I am mistaken, just remove them.