Misc dotfiles, mostly here for my own convenience