fix sphinxtogithub