SourceForge projects are closed now

[Jörn Kottmann]

Hi all,

I closed down the SourceForge projects now. The pages have
redirects to our new website, and the projects are marked
as moved to our new location.

Jörn