Ok, I'm not that lazy. I did the math.
With the full 23.25lb grain bill, at 71% efficiency, you wind up with 1650.75... call them 'parts'. It doesn't matter.
With 19.75lbs at 71%, you get 1402.25 parts. Add the 2.1 lbs of DME at the full 80%, and you're adding 280 'parts' (that's 3.5 x 80, not 2.1) for a total of 1682.25 parts.
A difference of 1.019%. Probably not a difference worth fighting about seeing as a quart of sparge water either way could swing this.