Microsoft’s Edge browser is now available on Linux