On Tue, Jan 15, 2002 at 07:38:34PM +0100, Corinna Vinschen wrote: >And a question: Wouldn't it make sense to uninstall first on >"Reinstall", too? It doesn't do this already? Hmm. I would expect a reinstall to be equivalent to an uninstall/install, yes. cgf