=> gemini://gemlog.blue:1965/users/xxr/1594074267.gmi in reply to

I gotta be honest, xxr, you hit the nail on the head with this one.  `dillo' sounds very much like another *ahem* word.  Maybe try thinking of it in terms of `quesadillo' or `picadillo' (though that last means something else ~not great~, let me see ... )

### picadillo
> a spicy Latin-American hash or stew of meat and vegetables often with raisins and olives that is commonly used as a filling (as for tacos) or served with rice and beans
=> https://www.merriam-webster.com/dictionary/picadillo cite

... well, I was wrong.  Picadillo sounds delicous!  PLUS: `pica' means `small', right?  And dillo is a *small* web browser ...

that must've been what the authors meant all along :D

-~-~-~-~-~-~

okay, but now I'm really curious as to where the name `dillo' came from.  So let's see what I can find (I'll be back, not that you'll notice .... )

=> https://sourceforge.net/p/dillo/mailman/message/4410836/ according to this (thanks Wikipedia!)
the name `dillo' came from another browser that dillo is based on called `armadillo', "hence the name" (says Wikipedia).

I wasn't able to find anything on the `armadillo' browser (it's probably lost to the sands of time, like an hourglass....) but I was able to find this neat website:
=> https://armadillo-online.org/ Armadillo Online!
~ for all your armadillo facts ~

:)