GNOME Shell Extensions

Доброго врем времени суток,

кто-нибудь пробовал писать дополнения к GNOME Shell?

Интересно попробовать, но пока видел только статью на хабре, довольно странную, + гуглом нашел англоязычную доку. gnome.org почему-то предлагает только GTK+.

https://extensions.gnome.org/

это просто Store дополнений и никакой информации для разработчиков он не содержит. Раздел about содержит информацию для пользователей. Правда, в нем есть интересная фраза “The code in a GNOME Shell extension becomes part of the core operating system”, которая меня пугает. Неужели разработчики GNOME сделали выполнение дополнений не в песочнице?