However, the firewall logs say that the source is [2001:db8::1]:443 and the destination is [2001:db9::1]:random_port and this makes no sense. They should be inverted.