This page has moved to https://john.bacus.org/about/.