Author: Dmitri Pavlov Format: MarkdownItexAdded a URL for the home page.
<a href="https://ncatlab.org/nlab/revision/diff/Donald+Knuth/5">diff</a>, <a href="https://ncatlab.org/nlab/revision/Donald+Knuth/5">v5</a>, <a href="https://ncatlab.org/nlab/show/Donald+Knuth">current</a>