So it's good news that Microsoft has given its Edge browser a handy performance bump, though you're only looking at 9% at ...