Comment by blfr

9 years ago

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

Great changes btw.