7 ms·

Yes, that was me :) I wanted to make sure I got a proof, since I didn't really find this elsewhere.