slightly more robust Plugin.stop -- components might refer to Isabelle.system even after shutdown;
slightly more robust Plugin.stop -- components might refer to Isabelle.system even after shutdown;

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