Like other comments, I don't need to reload or log out my gnome shell when adding an extension. But it's true that I used Shell only for the last 6 months, so I'm not really aware of the broken extension problem, but it's clear that it can be a huge probleme, especially because even though Shell is good, it misses some things out of the box that are really useful, like I said in my blog post.