pythonstartup.py: tweaked startup message