vendredi 11 août 2023, David Marchand: > Make it easier to list experimental symbols added in a certain version. > While at it, add a check on map symbol files content to avoid breaking > this listing tool. Is there a relation between the new check and the new -V option? I feel it would be clearer in 2 separate patches.