Specifically last release for grub is 2.02~beta1 while 2.02~beta2 is available for quite some time. Is list updated manually (in this case I failed to find interface to do it) or should they be picked up automatically (then something went wrong here)?
Thank you! -andrei
