Just rely on whois command to know which whois server to use, rather than keeping an outdated list https://github.com/webmin/webmin/issues/162