Fedora release counter related question on askfedora