RIP Arecibo Observatory.