btremYeah, it is, I sort of realized that after the comment. But probably mine is not the only client that "helpfully" converts emoticons to emojis. (Yeah, I misspoke before; it was a frowny emoji, not an emoticon, in my client.) Meta discussions can be tedious!
