Thanks for your report, and sorry for the delay. I'm tracking this as bug 66881.
By the way, your point 2) is not a bug; it's a necessary consequence of doing a good job on the help files, since the text and graphic boot menus are different and so require different help text.
Thanks for your report, and sorry for the delay. I'm tracking this as bug 66881.
By the way, your point 2) is not a bug; it's a necessary consequence of doing a good job on the help files, since the text and graphic boot menus are different and so require different help text.