A redshift extension for gnome-shell