Does anyone in my social neighborhood have #gnome shell experience? I tried to follow this basic example from the docs https://gjs.guide/extensions/topics/search-provider.html but I can't get any results to actually show in the shell 😞