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