removed option -d (now standard behaviour); added option -q; include notes;
removed option -d (now standard behaviour);
added option -q;
include notes;

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