1. Yes. 2. I vote for the version where Records is defined inside csvReader (#2). However, since the documentation for csvrReader seems to have been written with the idea that there is a separate set of documentation for Records and Record, csvReader's documentation could use some fleshing out to make sure tha the necessary details are there. Knowing that the return type is an input range covers most of it, but the various possible return types of its front property should be explained, and it shouldn't mention the name Records or Record, since they wouldn't be in the documentation anymore.
- Jonathan M Davis
