Works now in Edge

About: Download YouTube Videos as MP4
Hello all, I just found it works in Edge the same as in Chrome - install Tampermonkey from Microsoft Store (menu "...", Extensions, there's a link to open them in Store), then this userscript and voalá, newly opened/reloaded Youtube pages have that Download button. I wrote the info also in the Microsoft Answers thread: