The 20 BTC are set aside and only controlled by a multi-sig between the tree top developers. And I'm having trouble with the web sever right now and the download is not working on all browsers right now.