1 pointby andsoitis4 hours ago1 comment
  • gjvc3 hours ago
    what is it with latex-created .pdf files of that era which so often seemed to have bogus (embedded) fonts somehow?