I've been using F15 since it was released and these are both things that had user add-on patches within a week. Finnbarr Murphy is responsible for a great deal of extensions that I use: http://www.fpmurphy.com/gnome-shell-extensions/
No comments yet.