On 5/6/23, G. Branden Robinson <g.branden.robin...@gmail.com> wrote: > Fortunately it's not so bad. "Most recent" was meant to refer to the > extra-post vertical line space _applied to the output line_, not > encountered in an escape sequence.
I considered testing this before posting to avoid potentially putting my foot in my mouth, but ultimately decided, eh, a little foot never killed anyone. > I've revised the "Manipulating Spacing" > section/node of our Texinfo manual fairly heavily to reflect the > understanding I acquired this week. Thanks -- looks good!
