pull down to refresh

I can't help you with your question, @ek knows for sure.