On Tue, May 12, 2015 at 7:58 PM Bastien Nocera <bnocera@redhat.com> wrote:

High-value extensions should be in the core of gnome-shell. [...]

Or support for media player controls, or builtin weather.

 Incidentally, I'm mentoring a Summer of Code student to add both of these this summer.