[Gretl-devel] menu entries command ref

Hi, a UI minor issue: In the help menu there are two "command ref" entries ("Befehlsdokumentation" in German), only the experienced user knows from the icons that one is online help, the other a pdf file. I suggest to make this clearer, e.g. by naming them accordingly with "built-in" and "pdf" or similar. Maybe also regrouping? (although I see the logic of putting the pdf stuff together) cheers, sven