The numbers are down to 1.3M today, which matches Fediverse Observer. So it seems like this was pretty clearly some data problem on the side of Fedidb.
On the positive side, if Fediverse Observer has been consistently correct, the number of monthly active users has increased every month since October last year. So at least there's that. :)