[MediaWiki-announce] Announcing MediaWiki 1.35.0