Yes, but the GP comment was saying the NSF's budget was growing (which is also true) but the GGP's comment that NSF was reducing support for Arecibo is also correct. So for context I thought it might add a bit more depth to the question of "whether or not NSF was funding Arecibo or trying to get rid of it / defund it" idea.
And personally I was surprised that for $8M a year you could fund the program (presumably that was with a bunch of clearly needed maintenance being deferred). It really is too bad that some billionaire didn't just fund it. I'm wondering if Paul Allen helped out when he was alive.
In FY2019 NSF reduced its budget for Arecibo from $8M to $6.08M a 24% reduction in support for this instrument.