Anyone else having trouble downloading the latest wallet? I click on the wallet links at http://vanillacoin.net/wallets.php and keep getting an error page.

Also, if I go to https://vanillacoin.net/ I end up on a page for Tealc's WebShop, is the site hacked?