pull down to refresh

There were some important-looking buttons at the wall so I guess they put this there so nobody accidentally pushes them by leaning against them.