Also do a visual diffpdf.

Fix 9.5.4 promise-comstructor-arguments formatting, rename to $A$.

Does this patch preserve the regex grammar typesetting in [re.grammar]? Per #3193, the grammar typesetting in that subclause should be consistent with the regex grammar typesetting in the upstream ECMAScript standard.

@Eelis: Yes, I've tried hard.

Editorial meeting: @tkoeppe to investigate other font choices in the next days.

@tkoeppe , any results from your investigation?

Yes, the various alternatives I had considered all don't really look any better. Give me another day or two to be sure, but we'll probably keep the initial proposal.

Let's proceed with what we have. I haven't found any alternatives that are clearly superior. DejaVu Sans is quite nice and has a condensed version (and needs to be scaled to 80%), but the difference with Latin Modern's version is rather minor. The ease of setup of the current solution is compelling, and we can iterate on minor variations later on.