MySQL man pages license change is a bug | Hacker News Reader