pull down to refresh

PIR has existed for years, the hard part is optimizing it for real use cases.