pull down to refresh

Oh awesome -- I had considered writing a browser extension or something, and perhaps eventually will do that. Thanks for the pointer!
EDIT: that's really simple and elegant. Would be easier than I thought, it seems. Practical sovereignty :)