see wuzzy’s essay. i have abandoned github. all of my stuff that used to be on github has now been moved to codeberg.org, i am jan-miffed.