Tom Hayden's dotfiles