Backed out changeset ddadbdf20e70, no effect on current problem.

2022-12-15, Edouard Tisserant