Gabriel Dos Reis wrote: > I'd seriously prefer include/tr. Ok with me! Perhaps I have been sidetracked by the fact that those are officially called "... Standard Library Extensions" ^^^^^^^^^^ Paolo.