My personal GPG-based password manager