@JKSH Thanks. I would not bet that the bug is restricted to this encoding. But I will investigate this later and possibly report a bug to the correct venue. Thanks again for your time and attention.