Documentation: do not use undefined terms git-dir and git-file