Docker.seafile.org anyone?

I have no idea if I have lost track but I am sure that I updated my setup this year a few times but today I reached the point that the domain from the docs under which harbor of seafile was provided is at least from DNS perspective gone?

# kdig docker.seafile.org
;; ->>HEADER<<- opcode: QUERY; status: NXDOMAIN; id: 40106
;; Flags: qr rd ra; QUERY: 1; ANSWER: 0; AUTHORITY: 1; ADDITIONAL: 0

;; QUESTION SECTION:
;; docker.seafile.org.          IN      A

;; AUTHORITY SECTION:
org.                    3404    IN      SOA     a0.org.afilias-nst.info. hostmaster.donuts.email. 1720557072 7200 900 1209600 3600

;; Received 118 B
;; Time 2024-07-09 20:44:56 UTC
;; From 192.168.250.50@53(UDP) in 12.9 ms

Is docker.seafile.top now the new kid in the block?

# kdig docker.seafile.top
;; ->>HEADER<<- opcode: QUERY; status: NOERROR; id: 994
;; Flags: qr rd ra; QUERY: 1; ANSWER: 1; AUTHORITY: 0; ADDITIONAL: 0

;; QUESTION SECTION:
;; docker.seafile.top.          IN      A

;; ANSWER SECTION:
docker.seafile.top.     365     IN      A       47.93.127.171

;; Received 52 B
;; Time 2024-07-09 20:45:25 UTC
;; From 192.168.250.50@53(UDP) in 12.3 ms