Ao clicar em Download, aparecem vários símbolos e o robô não é baixado.

Esse problema costuma acontecer no navegador FireFox, e ainda não encontramos uma solução para ele. Tente fazer o download no Chrome, que vai funcionar corretamente.