Credits.html

  <div id="Credits" class="hidden">
    This interface was started by Jonathan Godfrey in July 2023. The back end needs to be sorted out, but javascript tools seem to have some chance of working.
    </div>