This file is indexed.

/usr/share/GvRng/po/WBSummary-en.txt is in gvrng 4.4-1.

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
Guido van Robot Worldbuilder Summary
Editing world:
    Left mouse button : Add or remove walls 
    Middle mouse button: Set arguments for the robot statement
    Right mouse button: Set arguments for the beeper statement
            It's possible to alter the number of beepers by clicking
            the right mouse button when the mouse pointer is at a
            beepers location.
            Give another number of beepers in the beeper dialog.
            When you give 0 (zero) the beeper is removed from the world.
Buttons:
    Reload   : Reload the world from the editor window
               into the worldbuilder.
    Abort    : Quit the worldbuilder, *not* GvRng.