Upstream later credits
@robbertkrebbers and me seem to agree that having @simonspies's later credits in Iris proper would be great, but there are still a lot of details to be worked out. Let's use this issue to collect relevant information.
In particular, I keep forgetting what exactly are the fupd
laws that we would lose by doing this, so maybe we can put that here. :)