in docs, clone a real branch rather than just a tag, because the HEAD moves automatically, in case we forget to move the tag when we add a fix