The inventor of the web, Tim Berners-Lee, has one regret: adding the double slash // to URLs. In retrospect, he says it was totally unnecessary.