Documentation: clarify git-checkout -f, minor editing