Deletion of List of DirecTV channels 1000-9999

Comment: Per nom, redundant. Though it does pass #DIR
Stance: delete
Cited policy: Wikipedia:What Wikipedia is not (WP:NOT)