DNS crawler 1.4.7 2. července 2020 Změny v této verzi: obcházení některých chyb v HTML kešování serverů na základě IP adresy