Installing from gnome shell extensions site yields an error. Going into the GNOME extensions app yields the error "timer not defined" that can't be good...