Support for GNOME Shell 3.11 till 3.13 added.