Gnome shell extension, provide additional functions and shortcuts to those functions.