This problem with high-volume bot access comes up from time to time,
and I am thinking of letting Cloudflare free tier handle it. This is
also a convenient time to set this up, as I also plan to update to the
latest mediawiki LTS and do some cleanup of the wiki content.
I have never used Cloudflare, but mediawiki themselves document it,
and I think it is recommended. See
https://www.mediawiki.org/wiki/Manual:Cloudflare. Any comments on
this?