04:23
<jmdyck>
Hm. PR #3206 settled on "are the same X Record" for comparing Records, but that doesn't appear in the Editorial-Conventions.
04:24
<jmdyck>
(The 'Comparisons' section doesn't mention Records at all.)