Adventures of syntax highlighting in Eleventy; and just how many new tags did HTML5 introduce?! May 13, 2020