Comment by Inityx

I wish this web page used a smaller font, 24px (18pt) is really, really large. (HN comments are 9pt.)

The page's ToC uses 60% of the body font, which is ~10pt.