Hi Makarius,
I think everyone involved with this issue is interested in coming back to a
situation where we have a solution that works for everyone.
Can we try to find a proposal for a change of the current infrastructure
that accommodates for yours and others' missing requirements?
On Mon, Apr 2
Hi Makarius,
the same goes for me. Installing and running this worked without any
trouble when following your instructions.
One thing that disturbed me in the beginning was that I first have to edit
a document before any symbols get prettified.
Simon
On Mon, Jul 3, 2017 at 4:11 PM Mathias Fleury