Mostly just stuff I’ve either abandoned, or not yet managed to actually
start work on. Recently I’ve started moving projects to GitHub, as it
supplies many of the features I’d have liked here for projects not
serious enough to deserve their own dedicated home.