On 28-6-2010 18:18, yvecai wrote: > I had > just run generate_xml.py again to change some rendering rules. Don't know about the other things, but this remark peeked my interest. What rendering rules had changed, and why would you feel the need to rerun generate_xml.py for them? -- Lennard