Re: Possible new release criterion: installation boot menu