Not sure which documentation you are talking about Pietro, but if there is an issue with the license we should change it so you can do what you want to do (e.g. just release it under the GPL umbrella). Your use sounds reasonable. Did you find some specific problem in the present license?