Mini channel guide unable to show "Favorites"

I've seen the following behavior on a Mini connected to a BOLT as its host DVR, after the Mini's software had been updated to 20.5.4, and at least one other user is reporting similar behavior:

Symptoms: When viewing the channel guide on a Mini, using the (A) button to change the Guide Options to display a different channel list does NOT result in the guide refreshing and using the selected...​

Mini channel guide unable to show "Favorites"

Mini channel guide unable to show "Favorites"