Correct name of dotfiles repo.