Note done with /lib/do/sh-inferno.  Describe intended differences with redo.