miscellaneous dotfiles that may be useful to someone