Has the docs.camptocamp.net serve been migrated already? I just ssh'ed to it, and I don't see the `vhosts` directory in `/var/www`.