No it’s not, haha. When they had to change their name and I read the reason why that was probably one of the first times where I sat there thinking “Hmm. The admins of Reddit might be goddam idiots.”