3 ms·

What tool was used to create this document?

• copperx 11y ago
  Could be pain Tex, but I doubt it. Could be troff, but because it was easily converted to html, I doubt that to. Best bet is Markdown + some typesetter.