Oh, well, now I learned about the Gnome extensions creator wizard that sets up a template extension for you by running
$ gnome-extensions create --interactive
Thanks, #Gnome!
https://gjs.guide/extensions/development/creating.html#gnome-extensions-tool