@wide-energy-11069 so, sadly, it has to be src/python (but then our repo is entirely consistent, so putting all of src/python on the pythonpath isn’t actually a problem)