::
ahahah, hai proprio ragione 😛 in effetti era più che altro un discorso di puntigliosità, “essere pillicusi” diciamo noi siciliani.
Comunque ho risolto proprio in questo momento: non so come, ma oggi magicamente i miei editor (compreso winedt) hanno deciso di funzionare alla perfezione.
