Thread:Bagwis/@comment-28994028-20170815082043/@comment-28994028-20170815083225

Shorter is better (in this circumstance only) since using the original will reduce the proportion of texts that the dubbed name took.