Tried to follow these steps for “Debian”:

Failed at the very first step. The respective server is not available. Pinging this host also fails.

Any chance it will come back online soon?

This is an issue when building the repo. The instructions are wrong. Team will fix it tomorrow. As a workaround, you can use the AppImage builds for now.

I fixed this issue for the repositories latest, 2.10 and

I had figured out by myself meanwhile that there was an alternate server, as the instructions now list out as the primary repository. Thanks anyway.