That's the HTML version, which Dijkstra did not himself produce. People took the handwritten and typed EWDs and transcribed them for the web. If you look at the PDF scan of the source document for this one it was not transcribed by Tristram Brelstaff, it was typed by Dijkstra.