[11:36:46] <Lucas_WMDE>	 does importing a revision from another wiki ever preserve the original revision ID? I thought it might in some cases, but I wasn’t able to reproduce it on a local wiki just now
[12:33:23] <Lucas_WMDE>	 ok nevermind, I think I found the code that currently throws away the rev id ^^ https://gerrit.wikimedia.org/g/mediawiki/core/+/b4b84bb5f5/includes/import/ImportableOldRevisionImporter.php#123