I prefer dash-to-dock. About arcmenu... I can't find it in extensions.gnome.org, but I suppose it is some kind of application menu. For that I prefer...