It's obviously hard to verify it, but I'd love to hear tor devs take on this.

I may be paranoid, but it seems to be that there is some FUD around tor lately. And if many people will stop using it, it will indeed become less secure.