It looks more likely that someone form the search team browses HN or uses Cyanogen (very likely) and they intervened and updated the index manually. I am sure google has a back-end to do stuff manually.