[Wikitech-l] MediaWiki 1.41-alpha will be branched as a beta on 10 October 2023