clarified "isabelle logo", after discontinuation of DVI output (see 564012e31db1);