Add a comment count to the migrated issue header, to give an idea of whether there are comments on the original issue even if comments weren't migrated.