How many were already using Wikipedia in the first place? I assume that before the ban happened it was already pretty much hidden from results in Baidu and the like?