16:29:27drmeisterCrap - this is as maddening as I thought it would be. I can start iclasp-boehmprecise and asdf and the seqan asd file and system get loaded. But I save a snapshot and then load clasp using that snapshot and asdf is loaded but it's forgotten everything about the seqan asd file and the system.
16:30:46drmeisterBootstrapping the bootstrapping codes bootstrapping code. YARGH