fixup! [major] Add public modules

abi.md

@@ -73,13 +73,7 @@ follows where `module` is the name of the public module:
 filelist_filename = "filelist_" , module , ".f" ;
 ```
 
-The filelist contents shall include the name of the file containing the public
-module on the first line.  All subsequent lines shall include the name of
-additional files:
-
-``` ebnf
-filelist_contents = public_module_file , { newline , file } ;
-```
+The filelist contents are a newline-delimited list of filenames.
 
 The ports of public modules shall be lowered using one of the Port Lowering ABIs.