added Fedora20 to the list of downloadable RPMs