Many small tweaks to dotfiles