I'd be surprised if Reddit even lost 5%. The reality is that the vast majority couldn't care less and the people that will leave are a rounding error as far as Reddit is concerned.