To generate the javadocs, run the script `doc/run.sh`.
The docs are generated inside of `docs/javadoc`.
It can be useful to read offline.