On Fri, Sep 01, 2023 at 10:14:33PM +0200, Jean-Marc Lasgouttes wrote: > Not me, but I am not sure why you needed it. 3 pages of useless scrolling at https://www.lyx.org/trac/wiki/BugTrackerHome Pavel