Hi, Le jeudi 02 mars 2023 à 12:00 +0000, Jean-Christophe Léchenet a écrit : > The interrogation I have > is: can we use as a source the extracted code, No: the source code is what the developers work on. If it's pre-processed, it's not source anymore. Cheers, J.Puydt