dotfiles Some useful config files These are mostly a subset of config files from Anish Athalye (https://github.com/anishathalye/dotfiles).