3 ms·

Ah, yes. You’re right. I see now that I bookmarked that page many years ago and then totally forgot about it!