Rated 5 out of 5 stars

great extension, essential for every gnome-desktop :)

This review is for a previous version of the add-on (29.1.1-signed).