Does not Theymos or Gavin have control to this sourceforge repository ? Its now pointing to an insane website buttcoin.org !!! Its good if it can be restored fast and care taken to secure the Github repository.