Oct-04-2017, 08:00 PM
Thanks for catching that, nilamo; indeed, when I had right-clicked to download the file, I hadn't noticed that it saved as a Chrome HTML document with .py extension, rather than a real Python file. I re-saved the file correctly, and now the error message has been resolved.
Thanks again for your very helpful input.
Thanks again for your very helpful input.