20230615 formatting after acceptation of switches See merge request !752
mentioned in commit 5f0f350b