Wiki License

[Josh Noe]

Hello!

I've played around with Minix 3 in the past, but having learned a little bit more about OS development I want to give it another shot. My first go around, the biggest struggle was outdated documentation on the wiki, and no one seems to be around anymore to make new accounts. 

Does anyone know if the wiki's license would allow redistribution/modification? Essentially, I want to make my own fork of the wiki. I see a download button on each page, so I'm assuming they don't care, but I figured I ought to make sure. I guess if I hosted it locally no one would know regardless, but if I go through the trouble of updating things it would be nice if other people could use it.

Thanks,

Josh