Port 45: Specify the resource files
My bad, my last MR was a bit ambigious/wrong. AFAICS, GNOME shell has a bunch of resourc xmls. But we (extensions) have only access to the 2 I linked in the current commit, right? If so, that should be made clear with this.