Take into account comments on the second pull request proposal for the
List widget.