get rid of feeder -- at the cost of batch-only commit-at-exit; redirect stderr to stdout;
get rid of feeder -- at the cost of batch-only commit-at-exit;
redirect stderr to stdout;

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