PICO in TinyPICO stands for PICO-D4, the ESP32 variant used on the board.
Sure, but it's not like that's a coincidence, they're surely using that to mean 'very small, D4'. And even if not, it just seems like an odd choice of name to me to have it consist of three words all meaning varying degrees of smallness.