I think the intent is that the final source file will be used to generate the autodoc, so in this case, module.c. That's in case there are transformations occurring during precompilation.
It wasn't about transformations so much as avoiding to figure out what c files belong to what cmod files. You need to skip one or the other, so skipping the cmod files are easier.