Benchmarks show that the Chromium Microsoft Edge is about 10% better than the Microsoft Edge