Manual.md: update python_versions example.