A beautiful solution. Many thanks.
Thanks. I don’t have that line of code in my comments.php. The closest I’ve got is:
<?php // not calling wp_list_comments twice, as it breaks pagination
$pings = $comments_by_type['pings'];
foreach ($pings as $comment) { ?>
Thanks for your reply, bdbrown. Sorry, I meant how can I display a number next to each individual comment. Thanks.