4 ms·

Thanks! As @chbrosso says, these aren't exactly easy to digest, but it's nice to have something to skim through. :-)