Well, it was linked in the index, so I assumed it was supposed to be there. :)

		gwern on April 15, 2020 \| parent \| context \| favorite \| on: “Typesetting Markdown” blog post series by a techn... Well, it was linked in the index, so I assumed it was supposed to be there. :)