Deletion of List of progressive house artists

Comment: to :Category:Progressive house musicians: as noted, fails  and , and similar lists in the past now redirect to their respective category. Note that List of house music artists should also be redirected to a relevant category, probably :Category:House musicians
Stance: merge
Cited policy: Wikipedia:Lists (WP:LIST||WP:OR)

Comment: per  and  as an index of articles complementary to :Category:Progressive house musicians. The only reason we'd ever delete a list as OR is if its underlying concept is unverifiable such that membership could not be verified by RS for any entries. That clearly is not claimed here as the nominator supports (and created) the corresponding category, yet somehow thinks the same information is OR just because it's presented in a list? That's not a coherent deletion rationale, and if the information is verifiable, then sources exist and the format in which it is presented has no impact on that. If this list has erroneous entries, fix it. Generally speaking, if the category properly applies it should be included in the list as well and vice versa (and if anything, lists can be more tolerant of borderline inclusion because they can annotate where and why sources disagree on a classification). Side note: Whether this should be renamed to List of progressive house musicians to match the category (or the other way around) should be addressed once this is closed
Stance: keep
Cited policy: Wikipedia:Categories, lists, and navigation templates (WP:CLN||WP:LISTPURP)

Comment: per  relative to :Category:Progressive house musicians. Also meets  as a functional navigational aid. For example
Stance: keep
Cited policy: Wikipedia:Categories, lists, and navigation templates (WP:NOTDUP||WP:LISTPURP)