Add ignore_emoticons option, off by default.