Yep that's what I ended up eventually downloading. Edge on Win 10 is not bad actually.