Speaking of MediaWiki package, MediaWiki 1.39.1 has just released. It would be great to upgrade that too.