Documentation license change (fixes #768)