cannot demolish

after this latest update, where has the option to demolish mines etc gone?

The tools for demolishing buildings, including mines, has been moved to the new building menu

thank you, i'll bring my white stick and dog next time i play :)