common Command.Chunk for command source and auxiliary files (static Symbol.Index without actual String content);
more informative type Blob, to allow markup reports;
This directory contains some administrative tools for clones of the
Isabelle repository. They do not appear in proper distributions.