Started the first extension. (Is the example coming with gnome-shell-extension-tool 100 years old?)