I tried initially to do something clever with the amount of people that signed up for the boards during the last free version. However this quickly became me over-analyzing from the people who didn’t sign up that downloaded it as well as the others who are active and still use the free version.
So after all that, I gave up and decided to just guess 900.