HDNet is now in beautiful high definition mapped to one of my local OTA sub-channels. Just started a week ago. When I push the "Info" button, it lists programming from my local OTA channel, but it is totally different HD sports programming with the "HDNet" logo at the bottom right corner of...