It's been down for quite a while. HTTP is also more reliable. Signed-off-by: Rosen Penev <rosenp@gmail.com>