3 ms·

I agree, but there are many with a large investment in PHP, and since it isn't going away, it's very much worthwhile to make it better.