Gnome 3.8 guide refers to a "dock" extension for gnome-shell... but I cannot find it. Does it have any replacement?
Isn't it https://extensions.gnome.org/extension/17/dock/ ?
For now I dropped references to it -> the commit in gnome-shell-extensions dropping it suggests that it wasn't "good enough" and maybe other docks in extensions would be better... but I can't check them now as my current connection looks to be too slow for extensions.gnome.org :S
Maybe https://github.com/micheleg/dash-to-dock/ is another alternative, but I have no idea about which one is better :(
Anyway, if we are not willing to provide an ebuild for it (letting people to enable it system wide and play with eselect gnome-shell extensions), we probably can simply not mention it :/
the references were dropped time ago, if we finally package some kind of dock extension, we would update the guide anyway