@tchajed are you okay with this change?
AFAIK the opam "maintainer" field is the package maintainer, not the project maintainer, so I made that also consistent with the main Iris repository.
mentioned in commit 7d350b66
merged
Yup, seems good
