Tim came back to me with some more information about the soundfont: "I created some of the samples myself and all others are either public domain or fall under the terms of the GNU General Public License." For me this is enough to add his soundfont to the repository.