should HTML tags be translated in the views edit display?

When translating this views release in localise.drupal.org, HTML tags shows up to translate (DIV, SPAN, H1,H2,H3,H4,H4,H6, P, STRONG, EM). Is there a reason to make HTML tags translatable? Otherwise it is confusing for translation teams. It pops up from the function function get_elements() in views_handler.inc to enable to format HTML around a field:

function get_elements() {
    static $elements = NULL;
    if (!isset($elements)) {
      $elements = variable_get('views_field_rewrite_elements', array(
        '' => t('- Use default -'),
        '0' => t('- None -'),
        'div' => t('DIV'),
        'span' => t('SPAN'),
        'h1' => t('H1'),
        'h2' => t('H2'),
        'h3' => t('H3'),
        'h4' => t('H4'),
        'h5' => t('H5'),
        'h6' => t('H6'),
        'p' => t('P'),
        'strong' => t('STRONG'),
        'em' => t('EM'),
      ));
    }
    return $elements;
  }

I would propose:

function get_elements() {
    static $elements = NULL;
    if (!isset($elements)) {
      $elements = variable_get('views_field_rewrite_elements', array(
        '' => t('- Use default -'),
        '0' => t('- None -'),
        'div' => 'DIV',
        'span' => 'SPAN',
        'h1' => 'H1',
        'h2' => 'H2',
        'h3' => 'H3',
        'h4' => 'H4',
        'h5' => 'H5',
        'h6' => 'H6',
        'p' => 'P',
        'strong' => 'STRONG',
        'em' => 'EM',
      ));
    }
    return $elements;
  }