That's right. We're doing users a favor (perhaps) by auto-importing some modules in atkpython (those you list), but this trick only works in the main script, not in scripts you import into the main script. So in some sense it's not a favor, since it doesn't teach people the importance of module import, which is an essential part of how Python is logically built up.