pull down to refresh

I posted an introduction to satd: #1506524

happy to hear any feedback!