This file is indexed.

/usr/share/doc/edubuntu-menus/README is in edubuntu-menus 0.2.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
This package sets up both menus (xdg compliant .menu files) and groups
(in /etc/group) so that when an administrator adds a user to one of these
groups the user's menu will be dynamically created on login according to the
corresponding groups they belong to.

Limitations:

Right now the menu files (found in /usr/share/edubuntu-menus/groups/) have
to be edited by hand. It also looks to the standard .desktop files shipped
with applications for the menu items themselves so you cannont edit the menu
item names, for instance.