@Roboron @seonghwa There's a button to copy an emoji from another server which makes it very convenient to have the same names but it doesn't have to be the way. You just upload a file and give it any shortcode.