Kevin, thanks.

By the way, I tried CVS yesterday, it still contained files from 6 weeks ago. And today I can't even connect to CVS (connect failed, no route to host), luckily you still supply daily's  ;-)

--Luuk