This file is indexed.

/usr/share/gnome-shell/extensions/hidetopbar@mathieu.bidon.ca/metadata.json is in gnome-shell-extension-autohidetopbar 20161203-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
{
  "shell-version": ["3.18","3.20","3.22"],
  "uuid": "hidetopbar@mathieu.bidon.ca",
  "name": "Hide Top Bar",
  "settings-schema": "org.gnome.shell.extensions.hidetopbar",
  "description": "Hides the top bar, except in overview. However, there is an option to show the panel whenever the mouse pointer approaches the edge of the screen. And if \"intellihide\" is enabled, the panel only hides when a window takes the space.",
  "url": "https://github.com/mlutfy/hidetopbar"
}