Or they could pick another snake. How about A. granulatus aka Little Filesnake? Sounds vaguely computer related. Then to replace the Jython name, they could pick another from the Acrochordidae family, the Java Wart Snake.
https://en.wikipedia.org/wiki/Acrochordidae