Getting started with GNOME Shell extension development

GNOME Shell is the graphical shell of the GNOME desktop environment: the default interface of the popular Fedora Linux distribution, and one of great prominence in the larger ecosystem. It allows the use of extensions to modify its behavior, which so...