El tinyshark downloader no lo localizo en el market, pero si veis el invenio, esta mucho mas logrado y mucho mas fácil de utilizar. A lo mejor si consigo un enlace al downloader y veo el programa en toda su esplendor.
Enviado desde mi Galaxy Nexus usando Tapatalk