The section Updated importers options in types says:

If any object in options.importers is exactly equal to the object nodePackageImporter:

• Let pkgImporter be a Node Package Importer with an associated entryPointURL of require.main.filename.

• Replace nodePackageImporter with pkgImporter in a copy of options.importers.

The Semantics section after that says

Package Importers must be added to the global importer list immediately after any user-provided importers.

This is inconsistent as the importers option allows to put them anywhere among the user-provided importers.
Is this sentence in semantics meant to apply only to the new pkgImporter option of the legacy API ? If yes, it might make sense to move it to the section describing that option instead.