[ggm]

I got to use BBN Diamond https://tools.ietf.org/html/rfc910 and it worked well. It was quite surprising to me when it turned out SGML failed and HTML succeeded.