Admin/README

vscode: changed how options are inserted into package.json so that one can still call `npm install` without errors;

This directory contains some administrative tools for clones of the
Isabelle repository.  They do not appear in proper distributions.