#718 Replacing smilies by better quality PNGs