Bug#1076199: www.debian.org: Webpage Debian-Installer add riscv64 other images link

On Fri, Jul 12, 2024 at 04:22:32AM -0700, E Shattow wrote:
> Please update to refer to riscv64 under the heading "other images
> (netboot, USB stick, etc.)":
> 
> https://www.debian.org/devel/debian-installer/

I suspect this is mostly because debian-installer riscv64 support hasn't
been uploaded to unstable yet, so it isn't on
https://deb.debian.org/debian/dists/testing/main/installer-riscv64/ or
https://deb.debian.org/debian/dists/unstable/main/installer-riscv64/.
I'm not sure what the plan for that is; somebody on debian-boot@
probably knows.

Once that's done, riscv64 will need to be added to the
devel-images-arches tag (and I suppose also trixie-images-arches) in
webwml:english/template/debian/installer.wml.