For Stan and Math, we already ask that people assign the copyright. I guess
I saw it as a way to agree to it once and then we don't need to do it at
every pull request.
But I buy that it may be unnecessary friction. We don't have too many