Did the Linux memory management maintainer "just quit"? | Hacker News Reader