Documentation updates for 'GIT_WORK_TREE without GIT_DIR' historical usecase