In case it doesn't, click here: http://www.desnoix.com/guillaume/alma/src12/alma-041.tar.bz2.
An application to use multiple GNOME terminals in one window.
A job dispatching server.
