DataLists: hide pagination if all records in first page, FilterWidget:
client-side changeable operators need to be declared, otherwise enforce
the pre-defined operator(s) of the widget-class.