honor MaSh's zero-overhead policy -- no learning if the tool is disabled
honor MaSh's zero-overhead policy -- no learning if the tool is disabled

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