A web-based password manager with GPG-encrypted backend