>>>>> "Thomas" == Thomas De Schampheleire <patrickdepinguin at gmail.com> writes: > Sorry for the mess. This time a proper v4, addressing Samuel's comments. Committed both, thanks. -- Bye, Peter Korsgaard