Re: os-prober updates are blocked by missing grub tool, but the maintainer doesn't respond