All recent posts: http://www.lyx.org/wiki/index.php/Site/AllRecentChanges * http://www.lyx.org/Web.MailingLists . . . October 21, 2022, at 10:23 PM by ps