using tool sphinxtogithub to fix docs