The old mediawiki appservers should be easily subsided by the new ones we have installed and pooled in the last month.
The full list is:
- mw1001-16 (jobrunners)
- mw1018-25, mw1091-1113, mw1149-1151 (appservers)
- mw1114-mw1148 (apis)
This will be done progressively for each cluster.