“What do you call a crocodile that loves guacamole?”/“A guacodile!”

A guacamole riddle was posted on Reddit—Dadjokes on May 16, 2020:
   
Q: What do you call a crocodile that loves guacamole?
A: A guacodile!
 
The portmanteau word “guacodile” (crocodile + guacamole) had been used earlier, but infrequently.
   
 
Twitter 
Lizard
@sixwhitehorses
There should be a cartoon about guacamole animals like guacapotamus, guacodile, rhinoceguac, peaguac, ETC.
3:35 PM · Apr 8, 2009·Twitter SMS
 
Twitter
Jack Letourneau
@jlet
Guacodile (burger w. guacamole & habanero mayo) from Nighthawk’s Kitchen at the Troy farmers’ market: heck yeah.
12:42 PM · Jun 8, 2013·Twitter for iPhone
   
Twitter
Shit Alexi Says
@Shit_Alexi_Says
I fuckin love guacamole so much.. You could call a crocodile eating guacamole a GUACodile hahahahah
9:24 PM · Sep 19, 2013·Twitter for iPhone
       
Twitter
Chad Thomas Johnston
@Saint_Upid
A crocodile that eats unholy amounts of guacamole is called a guacodile. You can thank me for this awful portmanteau now. #ForItIsGenius
2:11 PM · Mar 5, 2014·Hootsuite
 
Twitter
Kraken King
@Breezer_Blue
@KitsuneKajiru : “You named your alligator ‘Guacamole?’”
Me: “...He’s the GUACODILE!”
Kaji: *...THUMP*
1:30 AM · Feb 4, 2017·Twitter Web Client
 
Twitter
hannah
@BeaversHannah
What kind of large reptile loves guacamole?
A guacodile (crocodile btw) — you’ve got to be .... joking i could never think of anything like this. shorty puns r what i live… https://curiouscat.me/1018879447/post/321267576?1518586232
12:31 AM · Feb 14, 2018·Curious Cat
   
Reddit—Dadjokes
Posted by u/jokeyjokerton May 16, 2020
What do you call a crocodile that loves guacamole?
A guacodile!
 
Twitter
Dad Jokes
@Dadsaysjokes
What do you call a crocodile that loves guacamole?
A guacodile.
3:19 PM · May 16, 2020·Twitter for iPhone