Why is Sean pronounced Shawn? | Hacker News Reader