"Richtig" sind beide und es gibt noch einige mehr. Der sog. Mozilla-Bot tritt seit einiger Zeit häufiger auf und es ist davon auszugehen, dass er irgendwann die Rolle des alten "Googlebot"s übernehmen wird. Beim aktuellen Update (Bigdaddy) sind bereits die Daten des Mozilla-Bots in die Datenzentren eingespielt.

Gruß Johannes