The homepage has moved to leiongeometry.github.io.