A cryptographer's perspective on choosing a password manager