Correct PUBLIC DOMAIN license to cover docs/src and docs/user examples