etc/options

   -- "watchdog timeout for PIDE processing of broken theories (seconds, 0 = disabled)"
 
 option headless_commit_cleanup_delay : real = 60
   -- "delay for cleanup of already imported theories (seconds, 0 = disabled)"
 
+option headless_load_limit : int = 0
+  -- "limit for loaded theories (0 = unlimited)"
+
 option execution_eager : bool = false
   -- "prefer theories with shorter stack of decendants"
 
 option dump_checkpoint : bool = false
   -- "mark individual theories to share common data in ML"