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