There's also codeberg.org for git-shaped artifacts, or archive.org for everythin...

		pgeorgi on Nov 3, 2023 \| parent \| context \| favorite \| on: As I retire, my goal now is to release 40+ years o... There's also codeberg.org for git-shaped artifacts, or archive.org for everything else.