I thought it would be fun to experiment if Codeforces text editor supported the Emoji unicode reference, and it does❗

For your delight, here is an example: to display a lion emoji, you just write the corresponding decimal code 🦁 and the browser will take care of rendering the 🦁 for you.

Here is the table with the corresponding decimal codes for each emoji:

I'm also considering creating a chrome/firefox extension to allow selecting the emoji without having copy/paste the code. Do you think it would be a good idea?