fix bad merge
The content of 37b52b938579 was broken by a hg branch --rev xxx invocation. This small branch redo this merge to re-introduce the dropped content.
This instance will be upgraded to Heptapod 18.5.1 on 2025-11-13 between 17:00 and 18:00 UTC+2
The content of 37b52b938579 was broken by a hg branch --rev xxx invocation. This small branch redo this merge to re-introduce the dropped content.