> ahead of 20H1 when all consumers presumably will be pushed to it

I'm not sure it will be part of 20H1. https://blogs.windows.com/msedgedev/2020/01/15/upgrading-new... says:

> If you’d prefer not to install Microsoft Edge manually, you can wait for it to be installed in a future update to Windows 10, following our measured roll-out approach over the next several months. We will start to migrate Windows 10 customers to the new Microsoft Edge in the coming weeks, starting with a subset of Windows Insiders in the Release Preview ring.

I'm guessing 20H1 will be released sooner than several months.