A potential implementation has been created in the navmesh branch.
This is not part of the main branch yet due to a few open questions:
Is it ok to add support to something so specific like a NavMesh? So far only generic properties/shapes have been added. On the other hand, it can be good to offer easy ways to record complex data that is common in games (navmesh, ragdolls...)
In order to send individual triangles we need to know their unique ID. This might not be possible with certain engines, like Unity, where all we have is the vertices/indices.
Add the possibility to send individual triangles to the Recording tool to create a NavMesh, instead of having to send the entire NavMesh every frame.
This can potentially be deprecated if we implement persistent shapes in the future (shapes that are always there, and you can only add more to them).