Microsoft gaat Edge-browser sneller maken door tabbladen te pauzeren