proper usage message; more precise perl replacements; less verbosity;
proper usage message;
more precise perl replacements;
less verbosity;

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