pull down to refresh

The search is case sensitive which is very unfortunate. Might want to fix that. Great job though!
@satoshisat case sensitivity was fixed
This was a small regression that happened when we migrated to a more performant backend, the fix is already inbound and should be deployed later today!
that one fell through the cracks, will be fixed asap!