``docs/`` using ``make docs`` (this step needs Pycco_), or go directly to
`the rendered output`_.
+The files ``workspace/src/part*.rs`` are generated by ``make workspace``.
+
.. _Pycco: https://fitzgen.github.io/pycco/
.. _the rendered output: https://www.ralfj.de/projects/rust-101/main.html