Replies (1)

Sorry, I had forgotten about that. Now I've set up some GitHub auto-publishing magic and added @leo as a contributor to the repository so you don't depend on me anymore.