etc/options

   -- "ML run-time system statistics"
 
 public option ML_system_64 : bool = false
   -- "ML system for 64bit platform is used if possible (change requires restart)"
 
-option ML_system_bootstrap : bool = false
-  -- "provide access to low-level ML system structures (unsafe!)"
-
 
 section "Editor Reactivity"
 
 public option editor_load_delay : real = 0.5
   -- "delay for file load operations (new buffers etc.)"