We fix the tutorial so that it works with the development version of Iris.
Before merging, there is a small issue that should be looked into (see the FIXMEs): a previously working instance of wp_apply has been replaced (there are several occurrences of that) by a wp_bind (_ ||| _)%E followed by an iApply. Is that an Iris bug?
Fixes #2 (closed)