It works 🎉

ctan.duckdns.org is live