2 ms·

Maybe check who you're responding to then ;). He's not djb but definitely not a “random poster” either.