[riffraff]

this can be just a footnote in some manual coming with the cpu, which is likely the thing that actually made the information public.