<html><head><meta http-equiv="Content-Type" content="text/html; charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class=""><div><blockquote type="cite" class=""><div class=""><div text="#000000" bgcolor="#FFFFFF" class=""><p class="">On records, what you did looks, again, very clean. The only
      comment I have there is that it "feels" like something is missing
      in the summary section... e.g. for some reason I would expect a
      "record components summary" there. I noted that you lifted the
      components to the toplevel doc, but I wondering if that's the
      right move.</p><div class=""><br class=""></div></div></div></blockquote><br class="">There is a “record components” summary, but it is easy to miss — I missed it on first read too.  It is in the top section.  I think it might go better if it were right below the “public record Foo” signature, where the class doc is?  </div><br class=""></body></html>