@wbetiago Generally, those numbers seem to encompass mostly ad revenue.

However, my guess is that the market for tools is at most 10% of that number.