User blog comment:MisterWoodhouse/The Unified Community Platform Editor and our first release date/@comment-44014691-20200504180702/@comment-24006128-20200504211627

I've seen them.

They do not mean that no one wanted the MediaWiki upgrade.