license for release songs / lyrics

Hi. I hate to emulate the CARP License buyer in that song, 
but I like the music and lyrics in http://openbsd.org/lyrics.html
and although I don't use OpenBSD (yet) I'd like 
to incorporate it to my personal redistributable music collection.
There are already some people that have discovered 
OpenBSD thanks to a reference to your release songs. 

Problem is that I can't see any distribution terms for
that music. I see credits but no license. The site has 
simply a copyright notice in the home page that would 
by default forbid redistribution, but then the OpenBSD
is quite the contrary of such restriction, so I 
imagine your music will also be redistributable.

Can you please help me find the redistribution for 
your release songs ? 

Thanks a lot. I promise not to argue about the terms
like the CARP licensee.

-- 
Xavi Drudis Ferran
[email protected]