tragic, we won't be seeing russian reddit bots anymore. advertisers probably don't get a lot of russian customers so I fail to see reddit being impacted.