Descriptions provided by @tchajed (I slightly edited the one for Iris)
Fixes #436 (closed)
Seems fine to me. Thanks (and thanks to @tchajed)
merged
mentioned in commit d4fc6c46