I have updated the site layout to be hosted on github pages now. The full contents of the old site are being gradually migrated here.