Since almost 3 weeks, the list at [[Special:DoubleRedirects]] is not
updated any more.
There are likely lots of double redirects in the Wikpedia, which we cannot
resolve unless we accidentally find them.
Earlier, updates happened approximately twice a week. This was imho too
infrequent, but at least bearable.
Btw.
If - for some reason or another - the list of DoubleRedirects cannot be
kept up do date, let us preferrably disable it, than showing outdated
bogus entries only, resulting from programming errors.
Version: unspecified
Severity: major