So after hundreds of hours of testing, there was still a sneaky error causing traps to desynchronize with each other occasionally. We had to redo most of their code but it shouldn't happen anymore :)
Changelog is rather short this time around:
- fixed rare traps desynchronization,
- fixed some minor rounding errors.