Use extractor in add_log (incomplete)
Use extractor in add_log (incomplete)

First step is using new format (list of tokens in one line).
Very difficult: Keep information as to where on line insertion is happening, and keep all other tokens informed when string is modified/position of insertion changes due to larger string.

jscert/jsexplain,jscert/jsexplain,jscert/jsexplain,jscert/jsexplain,jscert/jsexplain