WebEventDetector and HTMLFileSaver OK