[Gretl-devel] wiki options

Hi, especially Jack, I just noticed that Sourceforge seems to offer a project wiki. So perhaps the existing wiki could be migrated (without the obsolete content) to sourceforge. However, I don't know about the feature set, whether something is missing that we would require. OTOH the current wiki doesn't seem to be used much, so I guess not many features are needed. I guess I could administrate that new wiki (if so desired), perhaps that would also lead to me looking at the issue trackers more often. Would that save you any work and/or make the wiki more useful? cheers, sven