SourceForge shell service is slowly coming back