Yeah, I also find it too verbose, I only wrote that because you mentioned it. Imo all the `demolished:*=` `was:*=` can go to OHM.

And then, Theseus's Ship, if the platforms and rails were completely demolished and rebuilt, it might not be totally appropriate to keep using the same element. I haven't checked if the geometry changed meanwhile.