It's not a question of "If", the Hubble mirror was made by Perkin-Elmer which had a long history with the NRO. Meaning that the TS or TS/SCI level program-cleared executive leadership at NRO's contractor knew exactly what was going on in both worlds.

https://www.google.com/search?client=firefox-b-d&q=perkin-el...

Whether any of that information would be allowed to go in the reverse direction back to NASA is another question entirely...