Why is genzedong still allowed on reddit?