/usr/share/gnome-shell/ is in gnome-shell-extension-autohidetopbar 20151103-1.
This file is owned by root:root, with mode 0o755.
..
/usr/share/gnome-shell/extensions/
/usr/share/gnome-shell/extensions/hidetopbar@mathieu.bidon.ca/
/usr/share/gnome-shell/extensions/hidetopbar@mathieu.bidon.ca/convenience.js
/usr/share/gnome-shell/extensions/hidetopbar@mathieu.bidon.ca/extension.js
/usr/share/gnome-shell/extensions/hidetopbar@mathieu.bidon.ca/intellihide.js
/usr/share/gnome-shell/extensions/hidetopbar@mathieu.bidon.ca/metadata.json
/usr/share/gnome-shell/extensions/hidetopbar@mathieu.bidon.ca/prefs.js
/usr/share/gnome-shell/extensions/hidetopbar@mathieu.bidon.ca/schemas/
/usr/share/gnome-shell/extensions/hidetopbar@mathieu.bidon.ca/schemas/gschemas.compiled
/usr/share/gnome-shell/extensions/hidetopbar@mathieu.bidon.ca/topPanel.js