git-rm doc: Describe how to sync index & work tree