@stefanv, you know more about licensing than I do — does this need to be included here?