Document the dotfiles option