user-manual: remote-tracking can be checked out, with detached HEAD