http://fedora.c3sl.ufpr.br/linux/releases/9/Fedora/i386/iso/

Parece que no dia 07 de maio eles já publicaram os isos oficiais, quem tiver uma conexão rápida pode dar um olhada e reportar se é isso mesmo.

Abraços,

Allisson.