5f57d9ac94
The new manifold boolean operation would merge coplanar faces even if they had different faceIDs. This doesn't fit user expectations. By using the manifold library's "OriginalID" mechanism, we can prevent that from happening. However, it slows the code by almost a factor of 2 on large examples. The Manifold maintainers going to work on a better solution.