What we learnt from a month of FactorBot | Hacker News Reader