After the release of 22 April, the grub-install bug appears to be solved. I do not know how to close this bug report.
After the release of 22 April, the grub-install bug appears to be solved. I do not know how to close this bug report.