Documentation/config: fix stale "git prune --worktree" reference