i've moved to Sourcehut

(mostly)

All of my still-running projects are now on Sourcehut, and the old repos here have been privated. Please check out my git profile there instead.