Four billion phones ask one text file what time it is. One lecturer keeps it in his spare time. We counted the rest.