If there's no post this evening, you can blame Matt and Nicole. Mostly Matt. Or Nicole.
As you may know, Matt and Nicole house sat for us this weekend, for which we are enormously grateful. And during that time, they watched some TV.
Over the past three days, and a while this evening, I spent some time trying to figure out what was wrong with my TV. I don't know what those two crazy kids were up to, but they wreaked havoc on the aspect ratio on my TV and seemingly were bouncing it out of its HD-ness.
The biggest problem was that we'd had that problem with the TV when we got it, and I knew I'd stumbled upon the solution a year ago while doing something completely unrelated.
Anyhow, I finally figured it out (the issue was not with the TV or a setting thereupon, but in an option on the cable box remote of all the darned things). And I'm documenting here, so that when it happens again, I can possibly remember what I did and not lose untold hours tearing apart my AV set-up.
(It's a display option in the "settings" on the cable remote, Future Ryan).
So, yes, the Samsung manual was probably better than I thought, and I should not codemn it to a firey, firey fate in manual hell.