3 ms·IIRC government-produced stuff is all in the public domain.by xenophonf 10y agoIIRC government-produced stuff is all in the public domain.