> Or are you mistaking restarting GNOME with restarting your whole operating system?

Whole OS. In 15 years of using linux, I don't remember having to only restart my desktop environment. But then again, I don't develop extensions.