The gnome API has been quite the moving target through the 40s versions. The community around these plugins are surprisingly resilient. Glad it’s calmed down a bit and great extensions like these have weathered the changes. I really enjoy gnome and all the plugins.