I don't know anything about SQL, so I'm looking for someone who could do a query returning the total number of redirects in mainspace. I'm not interested in a list of individual redirects, just their total number (and ideally, also the number of articles that are not redirects, but that figure I can get from elsewhere).
There's a database report (Wikipedia:Database reports/Page count by namespace (Q13361270)) that has this data, but only for a few wikis, and the ones I'm interested in are not there. I tried some SQL code I had dug up from an html comment in this fawiki report, the result is here: https://quarry.wmcloud.org/query/59600. This, however, doesn't seem to work as the query seems to go on running forever (even on small wikis) and there's no way to stop it.