Closed
Description
Were we overzealous in de-modularizing all of gist? Perhaps there are some truly separable modules.
Caution: in many cases, modularization was not viable because, due to dependencies, one of the terms had to be in gistTop. This was true of gistNetwork and also, I believe, gistIoT. We should study the history pre-modularization to avoid recreating the same problem.