cleaner handling of bootstrapping "fake" context, with fewer (no?) obscure bugs
cleaner handling of bootstrapping "fake" context, with fewer (no?) obscure bugs

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle