Finally I was able to get to the bottom of it. Issue was character encoding was converted from utf-8 to html-entities. A reverse-conversion on output solved it. You can download the version with the fix here.
Finally I was able to get to the bottom of it. Issue was character encoding was converted from utf-8 to html-entities. A reverse-conversion on output solved it. You can download the version with the fix here.