Re: [council] #11: Branding Decision: Fedora $N $PRODUCT vs. Fedora $PRODUCT $N