pythonstartup.py: elaborate why we are doing this