There are many dotfiles, but these are mine.