Wow, there's a... there's a gender-neutral bot on Reddit now. Luckily antiobnoxious bot is its arch-enemy!