For every HNer that "leaves" Reddit there's probably hundreds of thousands people that just found about this site, they probably come from non-US. but I think

For every HNer that "leaves" Reddit there's probably hundreds of thousands people that just found about this site, they probably come from non-US. but I think they'd decline hard if they turned off old.reddit e.g now.