The biggest pain in the whole process is finding this link, as the official powerpc port page (
https://www.debian.org/ports/powerpc/) is seriously outdated. The ppc64 wiki page (
https://wiki.debian.org/PPC64) hints that the port is still active, but still not offering download as it is mainly focused on build status. And it takes me a while to realize 'ppc64' is literally the name of a port (the official ppc page doesn't mention it at all)!
So my 2 suggestions are:
2. Educate visitors, the existence of ppc64 port, along with powerpc port, and clearly states their intended use, in that page.
I'm not sure if anyone with admin right is in this list, if you know someone has, please forward.
Thanks,
Hao