This file is indexed.

/usr/share/help/C/gnome-terminal/pref-encoding.page is in gnome-terminal-data 3.18.3-1ubuntu1.

This file is owned by root:root, with mode 0o644.

The actual contents of the file can be viewed below.

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
<page xmlns="http://projectmallard.org/1.0/"
      type="task"
      id="pref-encoding">
  <info>
    <link type="guide" xref="index#preferences"/>
    <link type="guide" xref="pref"/>
    <revision version="0.1" date="2013-03-02" status="candidate"/>

    <credit type="author copyright">
      <name>Sindhu S</name>
      <email>sindhus@live.in</email>
      <years>2013</years>
    </credit>
    <credit type="copyright editor">
      <name>Ekaterina Gerasimova</name>
      <email>kittykat3756@gmail.com</email>
      <years>2013</years>
    </credit>
    <credit type="copyright editor">
      <name>Michael Hill</name>
      <email>mdhillca@gmail.com</email>
      <years>2013</years>
    </credit>

    <include href="legal.xml" xmlns="http://www.w3.org/2001/XInclude"/>

    <desc>Change to a different character set support.</desc>

  </info>

  <title>Character encoding</title>

  <p>The default <em>character encoding</em> is usually UTF-8. You may want to
  change character encoding in <app>Terminal</app> if you:</p>

  <list>
    <item>
      <p>are working with file or directory names that use characters
      unavailable in your default encoding.</p>
    </item>
    <item>
      <p>use an external hard disk that uses different encoding from your
      system.</p>
    </item>
    <item>
      <p>connect to a remote computer that uses a different encoding.</p>
    </item>
  </list>

  <section id="change-default-encoding">
    <title>Change the default character encoding</title>

    <steps>
      <item>
        <p>Select <guiseq><gui style="menu">Terminal</gui>
	<gui style="menuitem">Set Character Encoding</gui></guiseq>.</p>
      </item>
      <item>
        <p>Select the desired character encoding.</p>
      </item>
    </steps>

  </section>

  <section id="add-encoding-menu-choices">
    <title>Add more options to the character encoding menu</title>

    <steps>
      <item>
        <p>Select <guiseq><gui style="menu">Terminal</gui>
	<gui style="menuitem">Set Character Encoding</gui>
	<gui style="menuitem">Add or Removeā€¦</gui></guiseq>.</p>
      </item>
      <item>
        <p>Browse from the available encodings.</p>
      </item>
      <item>
        <p>Select the encodings that you want to be added to the menu.</p>
      </item>
      <item>
	<p>Click <gui style="button">Close</gui> to quit the dialog and return
	to <app>Terminal</app>.</p>
      </item>
    </steps>

    <note>
      <p>Most modern operating systems now support and use UTF-8 character
      encoding by default.</p>
    </note>

  </section>

</page>