Do trolls help us to sharpen our wits and clarify our thoughts? Or are they an annoying interruption?