I was expecting something about how you can't move code into a new file without creating a new module, which means you'll need to modify calling code if you want to reorganize stuff, so you end up with massive source files.
You mean that if you split a file you define another module when you declare it? That is only visible as a module at the level of declaration not beyond.
Also note that modules are not per se compile units.
