2 ms·

Thanks! We'll put that in the toptext too. (It didn't get much frontpage time, so we won't treat the current post as a dupe)