Pages needing updates (not an exhaustive list):
- https://www.mediawiki.org/wiki/Extension:CirrusSearch —should we also get rid of Vagrant while we are in there?
- And sub-pages... so many sub-pages!
- https://www.mediawiki.org/wiki/Elasticsearch —should this page be renamed and abstracted to "Search engine for CirrusSearch" or should OpenSearch get its own page? If OpenSearch gets a separate page, this page should point there and indicate that long-term compatibility with Elasticsearch is not guaranteed.
- https://www.mediawiki.org/wiki/Manual:Running_MediaWiki_on_macOS