This file is indexed.

/usr/share/applications/devhelp.desktop is in devhelp 3.4.1-0ubuntu1.

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
[Desktop Entry]
Name=Devhelp
Comment=Developer's Help program
GenericName=Documentation Browser
Exec=devhelp
Terminal=false
Type=Application
Icon=devhelp
Categories=GNOME;GTK;Development;
StartupNotify=true
X-GNOME-Bugzilla-Bugzilla=GNOME
X-GNOME-Bugzilla-Product=devhelp
X-GNOME-Bugzilla-Component=General
X-GNOME-Bugzilla-Version=3.4.1
X-Ubuntu-Gettext-Domain=devhelp