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

[Robert Pluim]

>>>>> On Fri, 19 Jul 2019 11:42:26 +0200, Robert Alessi 
>>>>> <alessi@robertalessi.net> said:
    >> Iʼd probably lean towards [2], but a purist might says that weʼre
    >> polluting an input method intended for classical greek with a 'modern'
    >> set of characters.

    Robert> Yes [2] would be interesting, I agree, but the purist also has a 
point.

The purist can never prevent you from modifying your local copy of
greek.el :-)

    >> OTOH Unicode seems to say that we should be using
    >> the tonos variants anyway.

    Robert> Is that to say that the oxia variants are actually not recommended 
by
    Robert> Unicode?  Did you find information on this form unicode.org?

<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.

Robert