Re: Ground rules for riscv64 in Fedora dist-git