Vlad I am not asking for custom DNS.
However, re-requesting DNS is a nice to have feature. So even in manual refresh, you can make a distinction.
Re-request DNS for
- only root domain
- when DNS response is 0.0.0.0
- when user clicks on reload icon in url bar instead of cmd+R (just an idea) (it can still be implemented for both ways of refresh).
I also think that as features and settings will increase in Orion, you will have to add an "Advanced" tab in preferences window (or some other mechanism). So if you do add it, enabling this feature can be put there.