I think we&#x27;ll go with <a href="https:&#x2F;&#x2F;web.archive.org&#x2F;web&#x2F;*&#x2F;http:&#x2F;&#x2F;www.larry.denenberg.com&#x2F;Knuth-3-16&#x2F;" rel="nofollow">https:&#x2F;&#x2F;web.archive.org&#x2F;web&#x2F;*&#x2F;http:&#x2F;&#x2F;www.larry.denenberg.com...</a>.