Материалы для написания GNOME Shell расширения

Так как документации практически никакой нету, остается смотреть исходный код, который может быть найден тут:

~/.local/share/gnome-shell/extensions/
/usr/share/gjs-1.0/
/usr/share/gnome-shell/js/