Good tip! Usually do that, but this was full disk encryption, which I have to enter in the terminal and not on anything the password manager integrates with. I could still have gone through typing it on screen and copy/pasting it, though.

The recommended way, which I am sure to follow next time, is to wait a few days to remove the old password. (Full disk encryption can have any number of passwords added.)