Filter pagination fix

Also removed old pagination extension, no longer needed, since the
newer CI version is superior to the one we tweaked.