No, they are not available there, only if you browse to https://download.opensuse.org/ports/ppc/tumbleweed/iso/openSUSE-Tumbleweed-DVD-ppc64-Current.iso you can get one. That's the bug.