more reactive headless server, in contrast to 15656ad28691 (when "isabelle dump" was important to export AFP content);