3 ms·

This is a discussion of jwz's posting and the comments to it, not of the original. Therefore not a dup.