[Gretl-devel] outdated online manuals

Hi, it seems to me that several files in this path are not up to date: https://sourceforge.net/projects/gretl/files/manual/ The thing is that here on Windows the freshly installed snapshot brought along the right manuals and saved it into C:\Program Files\gretl\doc, but gretl instead downloads the outdated versions from the server above. (Apparently having checked that in C:\Users\<username>\AppData\Roaming\gretl\doc no help files are present, given that I have deleted the old ones there.) thanks sven