You weren't missing a thing. That post was a general announcement, nothing to do with your question.
I don't have an answer to it since when I had this device , there were no ATSC 3 stations on the air in my markets, nor do I have any ATSC 3 tuners even if they were.