Hi Ooyama,

Thanks for this report, you PR is ok, but you missed the 32 bit ISO. You can make a new PR or just add another commit to your actual PR to get these changes in.

About the websites team, let's talk a bit on IRC, you can also catch a ticket and try to fix it in the meanwhile. We want to make sure you understand the build process and are at least able to check why builds are failing and where to make changes to fix them. I will try to guide you to make this happen soon.

Thanks.