Yes, turning on the extension worked. I have since figured out how to enable it for everybody (I think) from
https://help.gnome.org/admin/system-admin-guide/stable/extensions-enable.html.en
1 Like