Code

git-checkout.txt: improve detached HEAD documentation