Bitnodes.io lines up with OP. The majority of nodes (~10k) are on tor, but the total is ~16k https://i.nostr.build/d27J.jpg