I’m using 1.5.12. Sorry, should have noted that in the original question.
And thank you for the ‘Vault Options’ link. Hadn’t spotted it but had done what was suggested elsewhere - made a new vault, dragged across the files, then deleted the old vault.