Si, lo avevano anche pubblicizzato.

Tra l'altro ieri sera ho notato che alcuni canali Rai si sono scambiati le frequenze (almeno a Roma), ad esempio al posto di Rai 4 mi sono ritrovato Rai Sport e al posto di Rai Gulp ce n'era un altro che non mi ricordo.