@Mal Thanks, but that doesn't work, either -- again, it just opens the text content of the web page, not the HTML source code.
@jamesr19 Thanks for the recommendation but I'm not looking to buy anything... nor should I have to, in my opinion. I don't want any bells or whistles: just a plain text editor!
@ScoobyMcDoo Thanks for the recommendation, I'll look into it
@szoir Yeah, sure: $400, almost 2GB, and a whole whack of features I have zero need for!!
@wrldwzrd89 HOORAY, you've fixed my problem! Thank you very much.

You say you don't recommend TextEdit as an HTML editor -- are there other reasons, aside from the one I encountered? Is there something you do recommend instead?