Seafile --> Seafile-server on github?

Greetz
F