You're right. My bad. I worked on a modernisation project for the DVB version of this in 2018. Internally we used to refer to it as Teletext, hence my confusion.