\usepackage{newunicodechar}

\DeclareUnicodeCharacter{0101}{\=a}
\newunicodechar{⏎}{$\hookleftarrow$} % \hookleftarrow ≅ ↩︎

\usepackage{newunicodechar}

\DeclareUnicodeCharacter{0101}{\=a}
\newunicodechar{⏎}{$\hookleftarrow$} % \hookleftarrow ≅ ↩︎
\newunicodechar{🔑}{key}
\newunicodechar{🦄}{unicorn}
\newunicodechar{👾}{alien}

Add replacements for unicode chars
Documentation: Add replacements for unicode chars

Before this change building the PDF version of the documentation would
fail, since LaTeX was not set up to work with the emoji characters
stored in `src/plugins/mini/README.md`.
