Looks like the issue is back. Attempted on wifi and hotspot
I’m back from vacation today and I notice that there has been a problem updating the Orekit website after the release of version 13.1 last week. I will investigate and let you know as soon as everything is back to normal.
In the meantime, you can probably use the documentation for version 13.0.2: