unused_thms: ignore kind -- already observes "concealed" flag;
unused_thms: ignore kind -- already observes "concealed" flag;

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