This was previously implemented, and it just needed a snapshot to go through
We generate documentation into the doc/ directory, so we shouldn't be intermingling source files with generated files