An HTML attachment was scrubbed... URL: <http://lists.lyx.org/pipermail/lyx-devel/attachments/20221129/009ec20a/attachment.html>