An HTML attachment was scrubbed... URL: <https://tug.org/pipermail/texhax/attachments/20181116/2d349352/attachment.html>