I see in a Debian news blurb that update-grub will use UUID automatically. So some parts of the grub world are quite advanced. But one would never know about it just reading the document this bug is about.