Re: [fedora-websites] #114: Fix http://fedoraproject.org/get-fedora "other options" section