pull down to refresh

IIRC it was exclusively RPi at first.