I think those are the 14000, perhaps.

I asked grok what it takes to switch to tor and it seems fairly easy.