The 0.8.2 version is now available from www.tdom.org as .tgz archive (released on Aug 15th). -- Massimo Manghi