Deletion of List of asteroids/7201–7300

Comment: We've been through this now at least four times, I think. A |list is not violating #DIR just because it is "long" and takes, ''gasp'', 1800 "entries" in the article space. WP is not paper, and the list itself is well defined and encyclopedic
Stance: keep
Cited policy: Wikipedia:Lists (WP:LIST||WP:NOT)

Comment: Much more efficient than having articles for each individual asteroid. Contains a lot of very useful information. Does not fail any point listed under #DIR, it is not a list of loosely associated topics, it is not a list of non-notable people, is not a telephone or buissness directory, it is not a sales catalogue, and does not contain a cross categorisation. --'''GW_Simulations
Stance: keep
Cited policy: Wikipedia:What Wikipedia is not (WP:NOT)