Short titles

[Rich Shepard]

On Fri, 8 Oct 2021, Paul A. Rubin wrote:

> Actually, yes and no. I just tried a small test document (article class).
> In a section heading, the insert menu has the item. In the article title,
> though, it does not (but formerly did). This is on 2.3.6.1. I suspect this
> is a bug.

Paul,

Aha! The report has a long title and I wanted to supply a short title which
would be displayed in page headers. Must be a lightning fly type of bug, eh?

Thanks!

Rich