Thank you Michael.
You are a superstar.

Seems that the operative phrase is:
title = line.match(/\/\*\!(.+)\*\//);

So, I tried this on "MoI 4.0 beta Jan-22-2020":
script: /*! TOGGLE CURVES HIDE*/ var allcurves = moi.geometryDatabase.<<...etc.>>

... albeit to no avail.

So, hmm, I don't know what else to do. ???
Mindset