The World Wide Web Consortium: History