Add custom DNS server on iPhone — Devilbox 1.0 documentation