@Ron: Maybe you can look into this for the next nightlies – somehow this ‘config.xml’ got lost on the way…
I did in fact notice it, but it was already almost 9:00 in the morning, and far past my bedtime. I was too concerned on sleeping to fix it. Sorry. 🙂