Multi-homed IPv6 with dynamic addresses

2024 update: Still is. Meanwhile I'm multi-homed again with two entirely useless /64 prefixes, because the wise 3GPP defined that as the access standard.

So for now it's NAT4444 (no, I'm not kidding), which works flawlessly though until my remote endpoints run out of IPv4 addresses. I don't care, that's their problem.