/usr/share/gnome-shell/extensions/ is in gnome-shell-extension-autohidetopbar 20171126-2.
This file is owned by root:root, with mode 0o755.
..
/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/panelVisibilityManager.js
/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