It seems to me that each of those `defthing`s has reasonably good text. The problem is that the text is in the preceding paragraph, instead of inside `defthing`.
The motivation is it's in "user's guide" style not "reference" style. But I'd argue these `defthing` forms belong in reference docs -- not guide docs. Showing the "blue box" in this guide is a neat idea. Using `defthing` to do so is where it gets a little weird? Instead how about a new form -- called "refthing"? or "refbox"? -- that simply recapitulates the blue box from any `def*`? -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. For more options, visit https://groups.google.com/d/optout.

