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