3 ms·

Now that we have thread collapsing there's no reason not to discuss finer lexicographical points right here! Great changes btw.