virtual box

[Olive <olive001@tele2allin.be>]

The version of Virtual Box included in Debian is distributed under the 
GPLv2. So far it's good. But I see in 
http://www.virtualbox.org/wiki/Downloads that

We do request that anyone intending to redistribute the Open Source 
Edition contact us first.

What do you think of that. It does not seem to be compatible with the 
GPL and could even be non free.

Olive