So great that they worked on it! It seemed to be part of the arti work for a couple of years but I wasn't sure it was really on the roadmap. Wanted to do something like this since 2017 with smoltcp and also had a glued together version of it via badvpn/tun2socks (large DNS responses were broken though).