I wouldn't worry about the shrimp jumping, but i've heard stories of zebra danios jumping. I had zebra danios in a topless tank and never had issues, but every fish has a different personality. it's definitely not bad to take precautions though.
"What, exactly, is the internet? Basically it is a global network exchanging digitized data in such a way that any computer, anywhere, that is equipped with a device called a 'modem', can make a noise like a duck choking on a kazoo." - Dave Barry