There are English words in these strings, but they are actually specific
values that must appear as these English words, and so should not be
translated.