[aivarannamaa]

"thon" is from "Python" and "Thonny" is diminutive of this.

[barbs]

Don't know how I didn't see that before! Thanks.