git checkout's reflog: even when detaching the HEAD, say from where