GitLab upgrade completed. Current version is 17.11.1. We now benefit from the features of the release 17.11.
I hope I haven't broken anything - I made the first version of a branch following !35 (closed) and had to backport my modifications in the more senseful hierarchy used in main branch (I will take a Linux laptop for my rereading / modifications of the hands ons).