Yeah, first time I’ve heard of it too. Apparently it’s the “done thing” for larger IP assignments to enterprise customers. HE have just decided to do it for everyone using their tunnels, enterprise or not.
I’ll have a look at the code and maybe get a PR together. Can’t be all that complicated as we already set forward-DNS, so I imagine this would just go in the same place.