BBC’s CEEFAX service, as detailed by the index printed in the Radio Times, 2-8 February 1980. Via.