@ulugabi and others: I have written a bookmarklet to automate Unicode replacements and created a new topic for those who have interest and/or want to give feedback:
You need to think of a new automation-breaking title example now that my bookmarklet manages to guess the correct Unicode replacements for this one
… just kidding, of course there is always something that will not be handled correctly and requires human attention and manual correction.
