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