We no longer check capitalization (or colons) in names that come
from TH, according to the commentary in #7667.