Are you sure that the python extension does not include idle - I haven't checked, but I would guess it is written to the file system by the startup script when the extension is loaded?
↧