doc: update documentation #800

Job	Run time
Grammar Choice Conflicts	1m 5s
Gradle Check (ubuntu-latest)	3m 25s
Gradle Check (macos-latest)	2m 20s
Gradle Check (windows-latest)	1m 3s
Build & Deploy Sphinx Docs	-1s
Maven Verify (${{ matrix.os }})	-1s
Gradle Publish (Maven Central)	-1s
Gradle Check (windows-latest)	52s
Grammar Choice Conflicts	1m 5s
Gradle Check (ubuntu-latest)	3m 25s
Gradle Check (macos-latest)	2m 20s
Maven Verify (${{ matrix.os }})	0s
Gradle Publish (Maven Central)	-1s
Build & Deploy Sphinx Docs	-1s
	15m 30s

Navigation Menu