Giving military operations a name | Hacker News Reader