Documentation: quoting trouble in "git rm" discussion