A new WordPress plugin that enables the option to pause autorefresh, and places a 'refresh' button at the top to trigger the refresh manually. All this can be turned on/off any time.