The HERA project website has moved to hera-bench.github.io.