GitLab

It's now easier to add new repos anywhere in the source tree

just saves a bit of typing

rather than the first one that it finds on the PATH

Unless sparks are roots, strategies don't work at all: all the sparks
get GC'd.  We need to think about this some more.

They are now handled by the main flag parser, rather than having their
own praser that runs later.

As an added bonus, 5 global variables are also gone.