An HTML attachment was scrubbed... URL: <http://lists.lyx.org/pipermail/lyx-users/attachments/20200507/da12bbbc/attachment-0001.html>