// returns total, correct
static Pair<Int> gazelle_testStatsFromWebPage() {
  ret listToPair(allToInt(regexpFirstGroupsIC(
    "(\\d+) tests?, (\\d+) OK",
    loadPage("http://gazelle.botcompany.de/tests"))));
}