Steps to Reproduce:
The Discernatron tool for labeling Wikipedia search results for relevance testing used to be available at https://discernatron.wmflabs.org
Actual Results:
Instead of the login/webpage I get a "502 Bad Gateway" now
Maybe the service moved or was shut down intentionally? Just curious because I linked the tool as an example of a good, labeled search relevance dataset in an Elasticsearch blog posts from last year (https://www.elastic.co/de/blog/made-to-measure-how-to-use-the-ranking-evaluation-api-in-elasticsearch). Just curious where it went.