Hi, hope you're well. One query from my side as a mathematician but not coder, isn't the weighted average easier/faster to calculate in that it is a recursive addition of the numerator/denominator of the quotient?
And... yes, if there is space, can show both :-) I agree the names are not immediately obvious, perhaps, to many users.
the avg.eff. is the "average return per vote"
the weighted avg. is the "average return per stake" (or per SP)
What do you think?