04:30
<ryzokuken>
have we tried https://pdfcrowd.com/doc/api/html-to-pdf/ yet?
04:34
<bakkot>
ryzokuken: I mean you can run it yourself and see if it produces superior results, if you like, but I doubt it's that much better than print-to-pdf
04:35
<jmdyck>
Have Ecma or TC39 listed what they don't like about the current PDF?
04:36
<jmdyck>
(Or alternatively, what they'd like the PDF to achieve?)
04:39
<bakkot>
I think just the usual typesetting things - reduce splits across page breaks, re-wrap high levels of indentation, that sort of thing
04:39
<bakkot>
though personally if I wanted a PDF my highest priority would be an index
04:39
<jmdyck>
But they've never actually officially said?
04:41
<jmdyck>
Like, was there a request for proposals, or a statement of deliverables, something like that?
04:41
<jmdyck>
a checklist, a gap analysis?
04:45
<bakkot>
Not that I recall
04:45
<bakkot>

With the PDF we have the usual problem [...] that the formatting quality is too low. We have to improve that somehow in the final publication.

04:46
<bakkot>

No proper formatting for a page oriented display, i.e. it is basically one long document that is cur by the A4 lenght into "pages".

04:46
<bakkot>
these are the sorts of comments I can find
04:46
<jmdyck>
Wasn't there talk of Ecma shelling out some money to get it done? Seems like that wouldn't happen without nailing down what was to be accomplished. (Unless it never got beyond talk.)
04:46
<bakkot>
There was talk and it never got anywhere.