GNOME Shell Extension を書くドキュメントとして、 https://live.gnome.org/GnomeShell/Extensions/StepByStepTutorial が最高峰であるが、結局ソースを読まないとわからないことがわかった。しかも、上記のページにもあるように、JavaScriptだから簡単に変…