On 2024-09-13 10:44, Pavel Sanda wrote: > On Thu, Sep 12, 2024 at 11:32:55AM +0200, Daniel wrote: >> Are there any alternatives in the pipe? > > Not really, but I can improve the description to be more straightforward. > > Pavel Thanks. What does "lyx-devel@…" stand for? lyx-devel at lyx.org? lyx-devel at lists.lyx.org? I don't find it obvious from the description. Daniel