When visiting onelab.info, there is no automatic forwarding to https-version. This should be fixed, the certificate is already available.
