pull down to refresh

That's what I was going to say. I mostly do statistical programming work and need to brush up on my Python since that's what the kids are doing these days.
reply