> BTW: why do we have __pycache__/ in there? Isn't that a relic from the > old times, when python bindings were living in the same repo? Actually, this one is related to all the Python helper scripts we have in the repo, so this one is correct to have in place. It contains bytecode of the sources. Erik
