They are still using SourceForge. Click through the link at the top of this page to see for yourself. Or google "cde desktop" and follow those links to SourceForge. Or check the CDE Wikipedia page and notice how they link to SourceForge.