3 ms·

Thanks for the reminder, total leap of judgement in on my part. I really shouldn't write comments after/just before midnight ;-).