We reached 2000 downloads last night and market shows 1000 active installs - that value seems to kinda lag behind.

Robo miner was now available since 7 days and people seem to really like it :-)