OHAI, so, I came across these two: https://keyringer.pw/ http://www.passwordstore.org/ They basically do the same (a GPG-encrypted, git-managed password/secret store), and I need to pick one and standardize. Anybody uses any of these? Pros? Cons?