This page has moved to https://john.bacus.org/projects/890-yale/.