> Has the docs.camptocamp.net serve been migrated already?

No, it's on test on c2cpc21