Olivier Michel

I would prefer to avoid creating some `webots/src/stb/stb` folder as it doesn't look very nice.

OK, then we should probably remove this stb folder and use the one from the system. We should add it to the dependencies, so that the right version gets installed:...

This looks like this: #5024.

Do you also get no crash from the [nightly builds](https://github.com/cyberbotics/webots/releases)?

I believe it should be legal to use PROTO parameters in any order. And that should not break the USE/DEF mechanism. For example if we have a PROTO like this:...

OK, we can we do to address this problem? 1. enforce PROTO parameter order and display a warning for any PROTO parameter not in the original order. 2. forbid the...

Yes, that seems to be a good idea.

Yes, feel free to propose a patch for this.

Yes, this is a limitation of the current documentation system. If some section or subsection have the same title, the same anchor is generated and the navigator will reach the...

Yes, this is a good idea.