I just had auto-correct change Philippines change to Philistines, so maybe it was something like that.
Reply on news.ycombinator.com