[9fans] Frogs?

[Kare Nuorteva]

Hello,

I've bumped into frogs a few times while lurking on this list, but cannot make 
much sense out of it. Could someone please explain what is a frog in a filename?

Cheers,
Kare