Thanks for taking the time to investigate this issue!
I didn’t test it on my setup yet, but to me it seems a bug worth opening an issue on github.
Cc @Jean-Marc to keep him posted: looking through the code I didn’t find anything obvious about this issue, but I discovered that emojis are png images in a zip file;
Since the output window is just a web browser control, we could set the css to use a monospaced font that supports emoji characters and drop the png embedding altogether. What do you think?
Another useful thing could be generate the tables directly in html as I proposet in another thread to minimise the conversion steps and related bugs