Was this something called ceefax or teletext? I vaguely remember hearing of someone using it to book a holiday when I was growing up