Subject: bug#36717: 25.3; greek.el: deprecated vowel+oxia combinations should be replaced with vowel+tonos counterparts

From: Eli Zaretskii <[email-masked]>
Date: Fri, 19 Jul 2019 15:54:27 +0300

> From: Robert Pluim <[email-masked]>
> Cc: Eli Zaretskii <[email-masked]>,  [email-masked]
> Date: Fri, 19 Jul 2019 11:49:47 +0200
> 
> <https://www.unicode.org/faq/greek.html> says:
> 
>     Q: Which block of Greek characters should I use?
> 
>     A: The answer to that is that it depends what you are doing. But
>     generally, the basic Greek block plus the use of the generic combining
>     marks in the Combining Diacritical Marks block (U+0300..U+036F) is the
>     best approach to polytonic Greek support.

To me, the most important part of this is in the very first sentence.
It is not our business to second-guess "what the user is doing".  We
should just make sure they can produce both variants of the characters
involved, and let the user decide what they want/need.