Feb. 18, 2016
12:31 a.m.
On 17 February 2016 at 19:30, Paul Eggert <eggert@cs.ucla.edu> wrote:
On 02/17/2016 04:16 PM, Tim Parenti wrote:
"public domain" is a US-specific construct.
Yes, and that suffices for us, as we're publishing in the US.
Others downloading the file from us and using our scripts to munge it might not be, though, hence my slightly more wordy suggestion. -- Tim Parenti