All recent posts: http://www.lyx.org/wiki/index.php/Site/AllRecentChanges * http://www.lyx.org/Web.AboutLyX . . . August 21, 2020, at 11:17 AM by ps