Trying to do the right thing with #Github: I deleted all stale forks (62) and empty repos (9). That leaves 20 repos, of which most are one-off projects that I can easily move elsewhere. All those stale forks are what makes the overall amount of Github repos so big, mind you, so I'm trying to make it less relevant thatln it actually is. Those few repos that are active will require more effort and will stay there for the moment.