These are some miscellaneous notes that I keep during CerCo work.  It is
possible that there is some information here that isn't recorded elsewhere, and
James suggested I should consider making them available, so I'm checking them
into the repository for future reference.  However, they are not intended to be
an accurate record - and certainly not complete - and should not be treated as
such.  Comments might only apply to CerCo as of the date they were written, if
at all.