Looks like the bug has been fixed. Channel numbers came back with the newest update on Dec. 9. Of course it was a bug all along, an oversight. It was never intended to remove the channel numbers "for greater convenience," that was a lie to cover the mistake.