Is the IEnumerable.OrderBy().First() optimisation in .Net Core 3.1 documented anywhere?

Question

One of the .Net Core versions (I\'m not sure which) introduced an optimisation such that if you write code like this:

int smallest = new[]{ 7, 2, 4, 6, 0, 1,