[records] spec clarifications from thread in amber-spec-experts

[John Rose]

On Jan 22, 2020, at 1:25 PM, Brian Goetz <brian.goetz at oracle.com> wrote:
> 
> equals/hashCode is good.  I think we agreed to tone down the specificity of toString, to reduce parse-bait?

Sure, I’ll remove that code example.

To be clear:  I am not proposing this for 14, but rather to
push it to the records branch of the amber repo.  Is that OK?
(Is the branch dead?  Maybe this is the first post-14 change?)

— John