[Gretl-devel] keyboard shortcut issues

Hi, I learned something new about gretl's interface even after all these years by looking in the help menu at the keyboard shortcuts page. (I'm not entirely sure it has to be a PDF page with lots of whitespace margins, but that's not the point right now.) 'h' (open command reference) seems to outdated or broken at least on Windows. Instead the menu indicates ctrl-H which works alright, although it's actually ctrl-h (lowercase). Should the shortcuts help page be updated? thanks sven