Can the use of custom private DNS be included in Opera and Opera Mini for Android as it is Chrome for Android browser to enable users access custom private dns providers instead of the default ones especially for those running older Android versions where this option isn't available in the phones settings