Shouldn't it say e.g. DC003 instead of DCOO3 (leading zeroes instead of "o"s)? Vaxorcist (talk) 09:24, 18 May 2023 (CEST)
Good catch. Probably an OCR error on a scanned document, which I then cut-n-pasted; I see that kind of error a lot in those circumstances. (I see 'PDP-ll' a lot, too.) Jnc (talk) 15:55, 18 May 2023 (CEST)
