3 ms·

Thanks, it's okay that the comment order shifts around. It's intended, so the most interesting aspects rise up.