Minor bugfix for  not being a CRToDo (?)
Added 'pool' option to ajaxArgs, which is an alternative setter for the pagesize
Update to previous commit: also applied to minified version