!TIL: Man kann eine #MediaWiki Datenbank aus 1.20 (mysql von $verdammtlangher) direkt in ein MediaWiki 1.34.1 (MariaDB 10.x) einlesen. Der Rechner (4 Cores, 16 GB RAM) hatte zwar minutenlang ordentlich zu rödeln für die Anpassungen, aber es geht. :-)