The gnome extensions web is full of broken extensions. And most of them is because of lack of maintenance. This will not fix that. And a CI doens't ensures...