OK, if something should not be translated, it should not be marked for translation (and commented why). But I was raising this note more in general for these strings. Depends on you.