Re: how long until the BFO (boot.fedoraproject.org) install options are updated with F18?