No plugin used. FB Comments code has been manually inserted as per FB instructions:
https://developers.facebook.com/docs/reference/plugins/comments/
Comment count code used in single.php:
<span class="comment-count"><a href="#FB-Comments">Comments: <fb:comments-count href="<?php echo get_permalink($post->ID); ?>"></fb:comments-count></a></span>
