Hi,
I believe this the tag `current-tiny-cd-release-filename` on the deployed website returns a wrong path for the main download button.
```
href="" href="https://cdimage.debian.org/debian-cd/current/amd64/iso-cd/debian-12.2.0-amd64-netinst.iso">https://cdimage.debian.org/debian-cd/current/amd64/iso-cd/debian-12.2.0-amd64-netinst.iso" => 404
```
I found another version (12.4) by going directly to
https://cdimage.debian.org/debian-cd/current/amd64/iso-cd/ and then selecting the proper ISO file.
Although, the release_info.wml tag seems to be properly set. 12.4 is the correct version. This looks like a faulty CI/CD.