[Observe-commits] 11/35: fixes #6923: Amélioration du script apply-extra.sh Merge branch 'feature/6923' into develop