I like the story why they renamed from SEXI to SNOBOL, see https://en.wikipedia.org/wiki/SNOBOL#Naming.