I have just noticed that menu extension from gnome fallback mode shows a lot of items in "Others" menu (even they being also present in their correct menus)
I am sure I found an upstream report some days ago but I cannot find it now :S
Created attachment 357200 [details, diff]
I'm attaching patch for the ebuild using suggestion from upstream. However I'm unable to start gnome 3.8 in fallback (but apparently it's not dropped yet) so I couldn't test.
How did you get 3.8 in fallback mode / was it earlier version?
It's now provided by extensions. Install gnome-extra/gnome-shell-extensions and you will have a new option in gdm login
Ok, the fix works. However the patch from upstream seems to be bigger (12K) than any patch in the tree. Using  in SRC_URI results in ugly file name . Is this acceptable or should I put a nicely named file on mirrors?
In general, devspace is preferred over mirror to have files preserved forever. Regarding file size, man repoman shows me it should work in FILESDIR (as usual) because it's below 20Kb (I guess you have only seen a warning):
Files in the files directory must be under 20k