Well, this is an improvement
I wandered up to the local cable TV company’s place yesterday, old box and remote in hand. I got a replacement that’s HD-capable. After much hooha and a phone call to the service tech, it seems to be working properly, although there are a couple of bugs. Is there a manual for the new box? …