Okay, but how do I get Edsger(!) Dijkstra as a Firefox add-on? ;-)

		m4lvin on Nov 23, 2021 \| parent \| context \| favorite \| on: Ask HN: What browser extensions are a must-have in... Okay, but how do I get Edsger(!) Dijkstra as a Firefox add-on? ;-)