[DOCS] Fix the comment regarding the $DOTFILES shortcut