more scalable buffer: produce compact chunks on the fly, avoid too many small particles that might congest heap management;
This directory contains some administrative tools for clones of the
Isabelle repository. They do not appear in proper distributions.