Of course they're not manually doing it; they're using bots. Manually collecting all those addresses and inputting them would take a life time or at least be a full time job.