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

[Robert Alessi]

On Fri, Jul 19, 2019 at 03:29:53PM +0200, Robert Pluim wrote:
>     >> 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.
> 
>     Eli> To me, the most important part of this is in the very first sentence.
>     Eli> It is not our business to second-guess "what the user is doing".  We
>     Eli> should just make sure they can produce both variants of the 
> characters
>     Eli> involved, and let the user decide what they want/need.
> 
> That pleads for us doing nothing, since we have that today (just not
> within the same input method).

Agreed.