Vladimír Čunát authored 6 years ago and Petr Špaček committed 6 years ago

We use it as relatively high-level function, often on user-input names,
so it seems suitable that it does convert the case.
This fixes cache.clear('Example.Org.'), and probably also negative trust
anchors and policy uses.