Just found this underneath my post.
Watching with interest as I also got the impression that the script discussed removed the properly named .HTML file.