Certificate problem on packages.ros.org?

See SSL certificate problems with packages.ros.org?

I don’t believe anything has changed.