[Gretl-devel] double "command reference" entry in help menu

Hi, it just occurred to me that there is a double "command reference" menu item in the help menu. The first provides the online/embedded ... well, command reference. So far so good. The second opens the pdf document with the same name, which --as we all know of course-- also contains the function reference. IMHO this is confusing and should be changed. What about "Command and function reference" as the pdf title and a shorter "Cmd and Func ref" for the menu item? thanks, sven