pull down to refresh

No idea. Some redundancy would make it more robust, but may come at the expense of user experience. Email it to somebody?