Perhaps there's some way we can encode these characters to get them to appear correctly in Discord. 