Thanks, but I'm already working on making changes like that on a larger scale. I'll get to that file eventually. This is definitely on the radar.

Ok cool, is there a relevant issue already?

No, I don't think so. It's not like anything is actually wrong...

Well, we very routinely use issues to track cases of inconsistent formatting, right?

(Is it possible you're only looking at the line break removal and not the addition of missing \tcode? Because we've definitely treated missing \tcode as "wrong" in the past...)

I'm kind of looking at everything. That's why there's no issue. "Perform continual editorial review", if you will.

@tkoeppe: I'm sorry, I don't understand why you closed this. I appreciate you're going through the whole standard fixing formatting, but this particular change seems fine on its own, does not introduce inconsistencies, and does materially improve the formatting for this example.

So, let's apply it.