Я использую пейджинговую библиотеку Android, как описано здесь: https://developer.android.com/topic/libraries/architecture/paging.html
Но у меня также есть EditText для поиска пользователей по имени.
Как я могу фильтровать результаты из библиотеки пейджинга, чтобы отображать только соответствующие пользователи?