Nicer docs license name

DOCUMENTATION-LICENSE is so long filename.