Sorry, I had forgotten about that.

Now I've set up some GitHub auto-publishing magic and added nostr:npub1w9llyw8c3qnn7h27u3msjlet8xyjz5phdycr5rz335r2j5hj5a0qvs3tur as a contributor to the repository so you don't depend on me anymore.