Are there any major differences between Torch and Chrome that I (as a not too heavy user and non-web dev) might notice? Does Torch support a similar number/variety of extensions and how are its benchmarks?