What is Redhat's policy regarding mono. Are they of the opinon that it is legally encumbered or not. It would be nice to have it in Fedora. It is IMO best provided by the distributor instead of by third party.