Okay, I’ve searched…
User numbers were a thing under Mondo in July 2016. That was before the banking licence and migration, right?
Now we just need @jonas or @oliver to confirm their user numbers (they were #11 and #1 respectively) and we’ll know for sure!