Good morning, Shenzhen! Fourth day of #IETF125. Today, for me, post-quantum DNSSEC (8 in the morning, urgh), tiptop (taking IP to other planets), regext (domain registration stuff like EPP and RDAP).
And in the end, the social event (it is said it will be special).