Section 3 gets the Ramsey fine-tooth comb.
Section 3 gets the Ramsey fine-tooth comb.

Please pay special attention to the new text at the beginning of
section 3.4 and to the accompanying marginal notes.  At issue is
the name of and the explanation for the Link type.

ezyang/hoopl,hvr/hoopl,hvr/hoopl