Automating Web navigation with the WebVCR