This is the revision history for utf8 in <412831876697554946-discord.gg:##NULL>

factoid_idsubjectcopulapredicateauthornamespace
10778 utf8 is Usage: utf8 {utf8 character|hex codepoint}. Also see jagerman's terminal-based version at http://jagerman.com/utf8 buu <*:##NULL>
4613 utf8 is Usage: utf8 {utf8 character|hex codepoint}. Also see jagerman's terminal-based version at http://jagerman.com/utf8 perlbot <*:##NULL>