gnus/texi/smilies