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 racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.