Das WebKit-Team frohlockt: Safari sei zwischen den Versionen 17.0 und 17.4 insgesamt 60 Prozent schneller geworden. Doch ein genauer Blick auf die Zahlen lohnt.