I've just merged Demlo.  Closing.

-- 
Pierre Neidhardt