The "cycle view" key settings aren't needed any more, because we do now cycle via Nasal's stepView(), and this does already take different numbers of views into account. Of course, this makes changes to map.{tex,pdf} necessary.