For workflow reasons, we merged #82 before fully revising the last 3 gentle intro notebooks. We should do that.
