Em ter., 23 de dez. de 2025 às 11:51, Laurenz Albe <[email protected]> escreveu:
> Perhaps you should wait for other's opinions, before you start that effort. > Sure, I'll. Many places will look much better, but some will become redundant and others will seem confusing. So yes, we have to make this change carefully, if we do. regards Marcos
