<div dir="ltr"><div dir="ltr">> That CSTR number 1 is nicely formatted, is that troff?<br></div><div dir="ltr"><br></div><div>The archive's CSTR 1 is ersatz. It's a 1973 journal article obtained from JSTOR. I imagine the manuscript was largely copied from the CSTR, but the printed paper certainly differs in meta-content and in layout, say nothing of font. Having gone through the usual route of journal submission and revision, the body text is probably not word-for-word identical to the CSTR either.</div><div><br></div><div>Doug</div></div>