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