True, though I think this is a good practice in general if switching your password manager, even for benign reasons (price etc).