How did IRC ping timeouts end up in a lawsuit? | Hacker News Reader