Since "dense automatic differentiation" describes what this code is all about much better in my opinion. ("Local AD" is just a possible use case in the context of PDE discretization.)
