You're right, richard. The right thing to do is to fix grub. Having these rules at all is Wrong. Once grub is fixed, we will rip these out. We won't need to support them at all then.
You're right, richard. The right thing to do is to fix grub. Having these rules at all is Wrong. Once grub is fixed, we will rip these out. We won't need to support them at all then.