Dear friends,
Do not hesitate to modify BUGS.txt and TODO.txt, which are now displayed automatically on the web site in the Development page (with a one hour delay).
Cheers,Jean-Michel