Seafile is being migrated to its new host on ramiel.home.langrock.info. Downtime of a couple of hours is expected.