"Use this gnome 3 extension" is never the answer to work around gnome 3 problems: in my experience extensions either don't work or stop working at the first 'apt-get update' you do, or just consume like 40 gigs of memory if left running for a week. Extensions are the devs way of saying "we don't care about you, but we're going to pretend to care by allowing you to write software that we're going to break".