Comment by @elcoco • Hey

😊 thanks. It’s short for cocodrilo. I was given the name by a Oaxacan cook at a taqueria I used to work at.