A tool for refreshing web browsers automatically