[MediaWiki-announce] Announcing MediaWiki 1.38.0