They’re not the same and I don’t think they’ve ever been synonymous with each other (or at least not by people who work in the Broadcasting industry).
Red Button is the service that replaced teletext/ceefax in 2012. Teletext was an analogue service, Red button was a whole new digital service offering similar information, it’s entirely different infrastructure underneath, it’s not just a “lick of paint”.