WIP: The definitive "more derivatives" merge

I propose to keep this MR, remove the other two derivatives-related MRs, and remove the "more_derivatives" branch.

@parras, @pfrank, OK?

Merge request reports

Loading