Thank you for your indications. Two comments:
1) Clealry I prefer to leave the official bundle untouched and add every modification in a personal bundle. It is a bit awkward to change scope selectors on a local basis, so I would really like to follow the standard (and convince Allan to change the standards if he thinks fit :). But I can leave with double ticks, maybe I'll add a command to insert single ticks...
2) I do not like accented utf characters. Since my file is chock full of \commands anyway, the improvement in readability is very minor. On the other hand, frequently something wrong occurs when reading the file with a bad setting, or exchanging it with a colleague using Windows 95 (serious) etc etc. If I were not happy with ascii I would be using Office (not too serious).
Piero