I was surprised to hear that many graphics people were surprised to learn that normals should be transformed with the adjugate transpose matrix. This is something I've written about extensively, so here's a new blog post that talks about what's going on.
https://terathon.com/blog/transforming-normals.html