ConvexPolyhedron.transformAllpoints() now also transforms the face normals, as it should.