Daniel Vainsencher wrote:
> 
> It was intended to bootstrap SM - make it initially usable, in a world
> with 14 packages.
> 
> Check out the categorical version by Bijan (could use some polish of
> course). If think something like that with convinient searching might be
> nice.
> 
> If people agree on something, we can just change the default loaded SM
> UI.
> 
I have tested the categorical loader and it does solve a few of the
scaling issues.
But I don't know where SM 1.1 are, if it's not far off in the horizon
maybe we 
could wait for that.

Karl