Ask HN: Is HN Manipulated by Bots?