The file format for Local_to_global has been improved.

We need ctor/dtor-semantics.

TODO

@@ -88,16 +88,15 @@ Before the next release
 
 ** Improvements
 
-*** Improve the file format for local-to-global.c.  Warning: this will
-    cause an incompatible change in the database format.
-    I will do this --ceder
-
 *** Use libisc 1.0.
     I will do this --ceder
 
 *** Get rid of mux_printf and doc/mux.proto et c.
     I might do this --ceder
 
+** Fix proper ctor/dtor semantics of everything in memory.c.  _clear
+   is an abomination.
+
 ** Check the FIXME in cached_conf_exists. I am certain that the
    necessary changes to cached_delete_conf are done, and almost sure
    that no other changes are required (checked where s.exists is set
@@ -312,6 +311,10 @@ Before the next release
 
 * Fixed
 
+** Improve the file format for local-to-global.c.  Warning: this will
+    cause an incompatible change in the database format.
+	DONE
+
 ** Fine-tune the Text_mapping data type (3623903, 3624144, 3624179, 3624173).
 	DONE: range-begin and range-end added to Text-Mapping.