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