Yes that site is where I found the same driver that is shown in the second screenshot I sent in this dialogue and my Edge Version and Driver Version(downloaded form that site) match up as seen below:
If i’m understanding the document from 2018 correctly, the Microsoft WebDriver is now built into the OS as an on-demand feature that can be added to other locations, presumably in the system PATH.