The last few days, the TODO list have been shrinked significantly :-) TODO: 14 items mostly DONE: 7 items DONE: 25 items
(and the DONE section off course doesn't include things that have been done without being added to the list ...) We're getting closer to an empty TODO list !! -- Matthieu
