nice article, now it would be good to say how to avoid this. Teredo outperforms IPHTTPS so there should be a fix which will prevent this to happen. If its possible to use Teredo it must be used.