Change of Z3 license | Hacker News Reader