regen python docs #509

Job	Run time
Build JAR with on ubuntu-latest	1m 55s
Lint C++	18s
Lint Java	13s
Run benchmarks on ubuntu-latest	39s
Build JAR with on windows-latest	1m 42s
Test C++ on ubuntu-latest	28s
Build JAR with on macos-latest	1m 55s
Test with Java ${{ matrix.java-version }} + Address Sanitizer	0s
Test C++ on windows-latest	1m 30s
Test with Java 11 on ubuntu-latest	1m 54s
Test C++ on macos-latest	20s
Test with Java 17 on ubuntu-latest	1m 53s
Test with Java 11 on windows-latest	1m 42s
Test with Python 3.8 + Address Sanitizer	1m 52s
Test with Java 17 on windows-latest	1m 43s
Test with Python 3.8 on ubuntu-latest	1m 51s
Test with Java 11 on macos-latest	1m 53s
Test with Python 3.8 on windows-latest	1m 40s
Test with Java 17 on macos-latest	1m 54s
Test with Python 3.8 on macos-latest	1m 51s
Build wheel for ${{ matrix.build }}	1s
Upload wheels to PyPI	1s
Combine JARs	1s
Upload to Maven Central	1s
	27m 17s

Provide feedback