Actually reload the menus when the refresh control is pulled.
Minor notice-related refreshcontrol-background-related thing.
Merge branch 'master' into new_ui
Awkwardly resolve merge conflict.