The Android app already has this feature, to search for a specific title in the saved pages list. This could be useful, if a user saves a lot of pages and want to find pages faster.
Originally comes from: https://ticket.wikimedia.org/otrs/index.pl?Action=AgentTicketZoom&TicketID=8537644