How to delete vaults

To be able delete a vault, it has to be empty first. Either move objects to another vault, using cut-and-paste or, if the objects isn’t needed anymore, delete them according to How to delete objects

Once the vault is empty, press the “Edit vault” button

And then press the “Delete vault” button.