This page has moved to
https://weak-equivalent.github.io/
.