Re #221: paginate carousel images