@zef What's most unsettling is that there are a lot of people who have (accidentally?) committed their whole $HOME to github.