leapingtiger.org DNS is back

I had completely forgotten that leapingtiger.org was managed by our own DNS server and didn’t migrate the configuration to the new Debian installation. As such, all of leapingtiger.org was unreachable due to DNS lookup failure.

It’s back, now. However, it’s still deprecated and I strongly urge you to use tigris.fr instead.