Tidying the Introduction text to the WebRTC Standards document