Documentation: minor cleanup in a use case in 'git stash' manual