@gcorti @bcouturi
This is needed for Gauss-on-Gaussino to use the revised options files that are available in MRs targeting AppConfig/HEAD.