Another tiny thing, python version was too old for doc sync workflow https://github.com/OpenHands/docs/pull/138