First of all thanks to all devs for a great ROM. I use for the first time xiaomi.eu and I have noticed that there is no option to toggle the private DNS option in the network settings without any shortcut apps. Is it possible to implement this great Pie-feature to MIUI?