"All checks have failed".

@jensmaurer That's due to

Overfull \hbox (0.85309pt too wide) in paragraph at lines 3965--3971
Overfull \hbox (0.85309pt too wide) in paragraph at lines 4260--4267
Overfull \hbox (6.936pt too wide) in paragraph at lines 539--558

I rebased and quelled the overfull line warnings with the use of \sloppy.

(In the diffs, the cyan is the new formatting and the red is the current formatting.)

Initial reaction: I think I somewhat prefer the current formatting for teletype placeholders. Use of a different typeface makes the placeholders stand out more clearly; the difference between slanted and unslanted teletype is easier to overlook, precisely because it's more visually consistent (which I think is the goal here).

Let's discuss this in person. We should also consider how to format things like @\seebelow@ (which is unaffected by the current patch).

Editorial meeting:

• Slanted font makes the placeholders stand out less in the library; we don't want them to be confused with identifiers. No change for that.
• Consider changing "see below" etc. to roman italics (same as comments). -> new issue with samples attached
• Use slanted font for definition for "contextually converted to bool".

Before:

After:

I think this confirms:

Slanted font makes the placeholders stand out less in the library; we don't want them to be confused with identifiers. No change for that.

(The difference between the slanted and non-slanted text has become too subtle.)