more sensible names for .dotfiles