A tool to check for updates on web pages