Decision on Fedora Product branding: Fedora $PRODUCT 21 vs Fedora 21 $PRODUCT