The module will never be proved. This applies to the "main" module
and the playlist demux (which only has submodules).