chiark / gitweb /
docs: update DISTRO_PORTING a little