@tomw Yeah, The Library of Babel is the most useless library of all.