Using the rotateAroundPivot function from this doc:
https://doc.babylonjs.com/toolsAndResources/utilities/Pivot
did the trick.
Using the rotateAroundPivot function from this doc:
https://doc.babylonjs.com/toolsAndResources/utilities/Pivot
did the trick.