I have also considered the overkill solution: run a dynamic routing daemon on every Pi infront of a PC, setup jool with IPv4 -> NAT64 there and do NAT64 -> IPv4 at the gateway.

Honestly, the only reasonable solution to deal with applications that don't know what an IPv6 address is here if you ask me /j