I have no
doubt that the commentary was produced with the V6 nroff.
It has the look of machine-formatted text about it, although it was
clearly printed on a constant-width line printer of the time.
Now, were anyone so truly perverse, they might take the latex and
convert it into nroff/troff. :-)
Thus returning to the original form in which it was prepared. There's
an appealing circularity and feeling of having come full circle to
that...
Doing so would be a major Waste Of Time. This fact, in combination with
the "appealing circularity" just mentioned makes it highly likely that
it *will* be done by a Graduate Student somewhere .... :-)
Arnold