Small updates to the dotfiles article