Some interesting GNOME Shell extensions

Mozilla extensions aren't that important. A tiny little handful of uber-nerds uses them. The rest of the human race uses stock Firefox. Which is designed to be usable for them and not require extensions to make up for the "designers" (read as "idiot hobbyist ex-web-developers playing at being real designers who conned what used to be a UX-oriented and technologically competent team into making the biggest pile of bafflingly poorly designed crap since Microsoft Bob").

I'm getting sick of hearing how GNOME 3 was design-first. It's a _bad design_. I don't care how it got there, what went first, who did what, or what the process was. The fact that you all were conned into implementing a crappy design after seeing mockups is not a redeeming element of the GNOME3 story in any way. Especially when all the other neat mockups from back then are still unimplemented. Why bother implementing all those when you can instead sink a couple years into rewriting all your working code from scratch, in JavaScript?