Nicer docs license name

DOCUMENTATION-LICENSE is so long.
Merge pull request #11046 from ZDroid/patch-3

Nicer docs license name