A GNOME-Shell extension for the GPII Personalization Framework