A gnome-shell extension to simplify extension developing