[Fixes#72100768] Makes admin/users table filtered server side, to aid performance.