Then why does this article give "special thanks" to Fedora, but not Red Hat? Or point out the fact that the vast majority of the Fedora RISC-V porting work is being done by Red Hat employees?