Hello, On 2022-02-15, 16:26 +0200, Eli Zaretskii wrote: >> > But I cannot reproduce this on my system, so it is hard to tell what >> > is going on here. >> >> That is really unfortunate. > > Maybe someone else can reproduce this? I tried reproducing the above issue and can confirm it. The text is weirdly shaped when opening a binary file with file extension. There are no messages in stdout/stderr, however.