more TODO;

--- a/src/Pure/General/toml.scala	Sat Nov 11 21:05:41 2023 +0100
+++ b/src/Pure/General/toml.scala	Sat Nov 11 21:06:54 2023 +0100
@@ -523,6 +523,7 @@
   }
 
   def parse_files(files: Iterable[Path], context: Parse_Context = Parse_Context()): Table = {
+    // FIXME proper reset of table context for each file
     val s = files.iterator.map(File.read).mkString("\n\n")
     parse(s, context = context)
   }