Renumbering `symbols _id` in the JSON file resulting from the `dico kernel` command
This issue is to document the following fact:
The current version of the dico kernel
command simply removes entries from the symbols
and definitions
arrays of the JSON output document.
This creates holes in the numbering scheme, e.g.:
A future version of the dico kernel
command should renumber _id
for symbols and ensure that referring definitions
correctly point to the renumbered symbol's _id
.