Nuno Miguel: > Hi, > > Attached is a new patch for the website which updates some pages and > improves other ones. > > Regards, > Nuno Miguel > Thank you, I just committed this. Cheers, Jérôme