In synth.py we have a nox session to generate the docs here. The same python script is running as part of the Github action in #1187, so we should remove the docs session from synth.py and noxfile.py.