design.org: link to some encrypt-your-data git tools
test: make first git-push more explicit, required by newer git