Reminder: Fedora 17 end of life on 2013-07-30