WordPress people: is there no way in wp_list_comments() to have multiple types in the type= argument? As near as I can tell, by default it accepts all, comment, pingback, trackback, and pings; and with the Webmention plugin installed it also accepts webmention, but it doesn’t also fold that type into the catch-all pings. I need a way to have wp_list_comments() include both pings and webmention.