[Gretl-users] time-out loading the user guide

Hi all, in the past weeks I have repeatedly experienced time-out messages from gretl when trying to load the manual (user guide). This happened even though steady progress was visible in the green bar in the dialog window. I could download the guide from the sourceforge website with a browser, but not from within gretl. I believe this could be slowness of the sourceforge server rather than slowness of the various network connections where I saw this. Maybe gretl just needs to be more tolerant there? thanks sven