Mikael Hedin wrote: > Looks fine to me. I'd prefer /usr/bin/python-X.Y, but that's > cosmetics, not really important. It has been pythonX.Y for many years. We should not change it. Neil