[borumpilot]

YOU as a customer import them. This is not a DNS spider service like https://dnsdumpster.com/ which also will not be 100% accurate in most cases, but finds a lot more for most domains.