A website to accompany the GeoGen paper - View it on GitHub