Arecibo radio telescope is no more.