3 ms·

I'll gladly manually merge in this case. It doesn't scale obviously, it's more novelty than anything else.