This file seems to be not used for the extras repos. I have made modifications march 12th and these modifications are not used with the extras repos. Is it normal ? Eric