pull down to refresh

Ha! I see. Nice, I am an Arch user too and have Debian on my servers too (raspberry pi and AWS).