It doesn't really matter. For one thing, MAU and unique users are different metrics and they're both valid, so if Lemmy is counting verified uniques they can just call it that.

For another, I looked at the data for logged in users and Fedi's MAU is 0.125% of their daily logged in users, so the point stands regardless.