Disclaimer: IANAL.
I don't think neither of the two is appropiate:
- That the upstream author allowed tuxguitar to distribute does not mean it is LGPL.
- You cannot claim it is "Public Domain" [2] without the consent of the author, and
the link you pasted [1] says that the author "wants some credits", and a Public Domain
licenses would allow me to drop those credits.
The "Dennis allowed us redistribute the soundfont with tuxguitar" [1] could be
a tuxguitar specific license, and only to *distribute*. Unclear if it would
apply to us so, but would still be non-free.
The "But he never mentioned anything about license" [1] part, could be even a
"all rights reservered." otherwise.
I would drop the file and ship without if Dennis is not answering.
[1]
https://sourceforge.net/p/tuxguitar/support-requests/13/
[2] Public Domain has other problems too, especiall outside of the USA.
For example, in my country, I could not place my work in "public domain",
as my country does not allow me to surrender my own copyright. (any
expression of me doing so would just be void). The closest I can get is by
using something like CC0.
--
tobi