Not quite. They were almost certainly approved by JPL in its role as a FFRDC. The copyright in such cases belongs with the government. What you write would b

Not quite. They were almost certainly approved by JPL in its role as a FFRDC. The copyright in such cases belongs with the government. What you write would be correct if they went through copyright release at another NASA center like JSC in which the workers are federal employees (I work at JPL.)