Gentoo provides social workspaces to close the gap between users and developers