adjust Nitpick example to follow latest wave of renamings
adjust Nitpick example to follow latest wave of renamings

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