Quick notes on KERNSEAL | Hacker News Reader