I think a 25% increase in LGP and 12% in resolution IS significant.

What you gain by going from 80mm to 90mm you loose because of the longer focal
length and slower focal ratio required for the color correction. If the goal
is a widefield view, then the shorter FL is better.

Its the
difference between
a complete split and a figure 8 split on some double stars.

This is aperture fever thinking for a scope that is supposed be primarily a
widefield scope. What one loses is that large field of view.

If small is good, then making smaller bigger is not necessarily better.

jon