An HTML attachment was scrubbed... URL: <http://tug.org/pipermail/texdoc/attachments/20171023/f1d9492c/attachment.html>