On Sun, 20 Jul 2008, Arnaud Charlet wrote: > Yes, the suggested changes are good.
Thanks for the review, Arnaud, and thanks again for the patch, Santiago! I committed this with minor formatting changes and fixed some markup issues directly afterwards. Gerald