Karmic Release Notes

[Hannie Lafeber-Dumoleyn]

Bij het nalezen van de RN zie ik dat er in de Nederlandse tekst een heel
onderdeel ontbreekt:
Other OS options not shown in boot menu when installing with Ubuntu 9.10
RC
After installation from the Ubuntu 9.10 Release Candidate, other
installed operating systems are not correctly displayed in the boot
menu. To correct this, users should run sudo update-grub from the
commandline after rebooting to their installed Ubuntu system. This
problem does not occur for installations from the final Ubuntu 9.10
release. (456776)   

Is dit bewust weggelaten of moet ik het eraan toevoegen?
groet,
Hannie