That page is annoying free of any link to the actual source code. Such terrible user design: that’s literally what I’m there to see. Am I just dense or missing the link?
By crawling up the directory, I found the source:
This is the kind of Lobste.rs link I wish I could upvote multiple times.